FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
adjoint logic	On the Lambek Calculus with an Exchange Modality
adjoint model	On the Lambek Calculus with an Exchange Modality
affine term	How to count linear and affine closed lambda terms?
Algebraic geometry	Entropy and Complexity Lower Bounds
ATP	Benchmarking Linear Logic Translations
automated trading systems	Formalization of Automated Trading Systems in a Concurrent Linear Framework
B
benchmark	Benchmarking Linear Logic Translations
C
call-by-name	The Bang Calculus and the Two Girard's Translations
call-by-push value	The Bang Calculus and the Two Girard's Translations
call-by-value	The Bang Calculus and the Two Girard's Translations
Categorical models	On the Lambek Calculus with an Exchange Modality
Categorical Semantics	Towards a Functional Language for Species of Structures
CLF	Formalization of Automated Trading Systems in a Concurrent Linear Framework
coends	Proof nets, coends and the Yoneda isomorphism
cographs	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
combinatoric	How to count linear and affine closed lambda terms?
Combinatorics	Towards a Functional Language for Species of Structures
Complexity Theory	Entropy and Complexity Lower Bounds
correctness criteria	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
CPS translation	From Linear Logic to Cyclic Sharing
cyclic lambda calculus	From Linear Logic to Cyclic Sharing
cyclic sharing	From Linear Logic to Cyclic Sharing
D
denotational model	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
denotational semantics	The Bang Calculus and the Two Girard's Translations
dependent types	Substructural Calculi with Dependent Types
dialectica category	On the Lambek Calculus with an Exchange Modality
Differential Linear Logic	Towards a Functional Language for Species of Structures Models of Linear Logic based on the Schwartz epsilon product
Dynamical Systems	Entropy and Complexity Lower Bounds
E
elementary linear logic	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
exchange	On the Lambek Calculus with an Exchange Modality
F
Freyd categories	From Linear Logic to Cyclic Sharing
Functional Analysis	Models of Linear Logic based on the Schwartz epsilon product
G
geometry of interaction	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
Girard's translations	The Bang Calculus and the Two Girard's Translations
H
hypersequents	Taking Linear Logic Apart
I
implicit complexity	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
interaction graphs	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
Intersection Type Systems	Generalized generalized species of structure and resource modalities
L
lambda calculus	The Bang Calculus and the Two Girard's Translations How to count linear and affine closed lambda terms?
lambda-calculus	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
Lambek calculus	Substructural Calculi with Dependent Types On the Lambek Calculus with an Exchange Modality
linear logic	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants The structure of non decomposable connectives of linear logic Benchmarking Linear Logic Translations The Bang Calculus and the Two Girard's Translations Substructural Calculi with Dependent Types From Linear Logic to Cyclic Sharing Taking Linear Logic Apart On the Lambek Calculus with an Exchange Modality Formalization of Automated Trading Systems in a Concurrent Linear Framework Generalized generalized species of structure and resource modalities
linear term	How to count linear and affine closed lambda terms?
linear/non-linear logic	On the Lambek Calculus with an Exchange Modality
logical framework	Formalization of Automated Trading Systems in a Concurrent Linear Framework
M
modalities	On the Lambek Calculus with an Exchange Modality
monad	On the Lambek Calculus with an Exchange Modality
monoidal categories	From Linear Logic to Cyclic Sharing
multiplicative linear logic	Proof nets, coends and the Yoneda isomorphism
N
non-commutative	On the Lambek Calculus with an Exchange Modality
O
Operad	Generalized generalized species of structure and resource modalities
operational semantics	The Bang Calculus and the Two Girard's Translations
P
process calculus	Taking Linear Logic Apart
Proof nets	The structure of non decomposable connectives of linear logic Proof nets, coends and the Yoneda isomorphism
Q
Quantum functional languages	Quantum programming made easy
Quantum Programming	Quantum programming made easy
R
regular languages	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
S
second order quantifiers	Proof nets, coends and the Yoneda isomorphism
second-order quantification	A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
semantics	Entropy and Complexity Lower Bounds From Linear Logic to Cyclic Sharing
sequent calculus	The structure of non decomposable connectives of linear logic
Species of Structures	Generalized generalized species of structure and resource modalities
star-autonomous categories	Models of Linear Logic based on the Schwartz epsilon product
substructural calculus	Substructural Calculi with Dependent Types
T
Taylor expansion	On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
traced monoidal categories	From Linear Logic to Cyclic Sharing
transcendental syntax	Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
translations	Benchmarking Linear Logic Translations
type theory	Quantum programming made easy
Y
Yoneda isomorphism	Proof nets, coends and the Yoneda isomorphism

Disclaimer | Powered by EasyChair Smart Program