FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
Abstract simplicial complexes	Denotational semantics driven simplicial homology?
C
Call by value	The Call-by-Value Lambda-Calculus from a Linear Logic Perspective
Categorical models	A coherent differential PCF
categorical semantics	Cloning and Deleting Quantum Information from a Linear Logical Point of View
Chu construction	Parametric Chu Translation
D
Denotational semantics	A coherent differential PCF
Differential Categories	Copromotion and Taylor Approximation (Work in Progress)
Differential Linear Logic	Copromotion and Taylor Approximation (Work in Progress) A coherent differential PCF
E
Exponential maps	Copromotion and Taylor Approximation (Work in Progress)
Exponentials	Dissymetrical Linear Logic
I
Intermediate Logics	Dissymetrical Linear Logic
L
lambda-calculus	The Call-by-Value Lambda-Calculus from a Linear Logic Perspective
Linear Algebra	Cloning and Deleting Quantum Information from a Linear Logical Point of View
linear logic	Dissymetrical Linear Logic Cloning and Deleting Quantum Information from a Linear Logical Point of View Bottom-Up Sequentialization of Unit-Free MALL Proof Nets Denotational semantics driven simplicial homology?
linearize arithmetic	Peano Arithmetic and muMALL: An extended abstract
logical relations	Recursive Session Logical Relations
M
Multiplicative-additive fragment	Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
muMALL	Peano Arithmetic and muMALL: An extended abstract
N
negative translation	Parametric Chu Translation
P
Peano arithmetic	Peano Arithmetic and muMALL: An extended abstract
polarity	Peano Arithmetic and muMALL: An extended abstract
Program equivalence	Recursive Session Logical Relations
Proof net	Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
proof theory	Dissymetrical Linear Logic Parametric Chu Translation
Q
Quantum Computing	Cloning and Deleting Quantum Information from a Linear Logical Point of View
S
Sequentialization	Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
Session types	Recursive Session Logical Relations
Simplicial homology	Denotational semantics driven simplicial homology?
Solvability	The Call-by-Value Lambda-Calculus from a Linear Logic Perspective
Subexponentials	Dissymetrical Linear Logic

Disclaimer | Powered by EasyChair Smart Program