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