FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alves, Sandra	Termination of lambda-calculus linearization methods
C
Cervesato, Iliano	Formalization of Automated Trading Systems in a Concurrent Linear Framework
D
Dabrowski, Yoann	Models of Linear Logic based on the Schwartz epsilon product
de Paiva, Valeria	On the Lambek Calculus with an Exchange Modality Benchmarking Linear Logic Translations
Doumane, Amina	Infinitary Proof Theory: the Multiplicative Additive Case
E
Eades Iii, Harley	On the Lambek Calculus with an Exchange Modality
G
Galal, Zeinab	Towards a Functional Language for Species of Structures
Guerrieri, Giulio	The Bang Calculus and the Two Girard's Translations
H
Hasegawa, Masahito	From Linear Logic to Cyclic Sharing
J
Jiang, Jiaming	On the Lambek Calculus with an Exchange Modality
K
Kerjean, Marie	Models of Linear Logic based on the Schwartz epsilon product
Khan, Sharjeel	Formalization of Automated Trading Systems in a Concurrent Linear Framework
Kokke, Wen	Taking Linear Logic Apart
L
Lescanne, Pierre	How to count linear and affine closed lambda terms?
Luo, Zhaohui	Substructural Calculi with Dependent Types
M
Maieli, Roberto	The structure of non decomposable connectives of linear logic
Manzonetto, Giulio	The Bang Calculus and the Two Girard's Translations
Montesi, Fabrizio	Taking Linear Logic Apart
N
Nguyễn, Lê Thành Dũng	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
O
Olarte, Carlos	Benchmarking Linear Logic Translations
Olimpieri, Federico	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
P
Pagani, Michele	Applying linear logic semantics to probabilistic programming
Paolini, Luca	Quantum programming made easy
Pellissier, Luc	Entropy and Complexity Lower Bounds Generalized generalized species of structure and resource modalities
Peressotti, Marco	Taking Linear Logic Apart
Pfenning, Frank	A shared memory semantics for session types
Pimentel, Elaine	Benchmarking Linear Logic Translations
Pistone, Paolo	Proof nets, coends and the Yoneda isomorphism
R
Reis, Giselle	Benchmarking Linear Logic Translations Formalization of Automated Trading Systems in a Concurrent Linear Framework
Roversi, Luca	Quantum programming made easy
S
Seiller, Thomas	Entropy and Complexity Lower Bounds Coherent interaction graphs: a nondeterministic geometry of interaction for MLL A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
V
Vaux Auclair, Lionel	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
Z
Zorzi, Margherita	Quantum programming made easy
Zunic, Dragisa	Formalization of Automated Trading Systems in a Concurrent Linear Framework

Disclaimer | Powered by EasyChair Smart Program