FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Balzer, Stephanie	Recursive Session Logical Relations
Barbarossa, Davide	Denotational semantics driven simplicial homology?
Beraldo-de-Araujo, Anderson	Cloning and Deleting Quantum Information from a Linear Logical Point of View
D
Di Guardia, Rémi	Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
E
Ehrhard, Thomas	A coherent differential PCF
G
Guerrieri, Giulio	The Call-by-Value Lambda-Calculus from a Linear Logic Perspective
J
Joinet, Jean-Baptiste	Dissymetrical Linear Logic
K
Kerjean, Marie	Copromotion and Taylor Approximation (Work in Progress)
L
Laurent, Olivier	Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
Lemay, Jean-Simon	Copromotion and Taylor Approximation (Work in Progress)
M
Manighetti, Matteo	Peano Arithmetic and muMALL: An extended abstract
Miller, Dale	Peano Arithmetic and muMALL: An extended abstract
S
Somayyajula, Siva	Parametric Chu Translation

Disclaimer | Powered by EasyChair Smart Program