FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
adjoint logic
adjoint model
affine term
Algebraic geometry
ATP
automated trading systems
B
benchmark
C
call-by-name
call-by-push value
call-by-value
Categorical models
Categorical Semantics
CLF
coends
cographs
combinatoric
Combinatorics
Complexity Theory
correctness criteria
CPS translation
cyclic lambda calculus
cyclic sharing
D
denotational model
denotational semantics
dependent types
dialectica category
Differential Linear Logic
Dynamical Systems
E
elementary linear logic
exchange
F
Freyd categories
Functional Analysis
G
geometry of interaction
Girard's translations
H
hypersequents
I
implicit complexity
interaction graphs
Intersection Type Systems
L
lambda calculus
lambda-calculus
Lambek calculus
linear logic
linear term
linear/non-linear logic
logical framework
M
modalities
monad
monoidal categories
multiplicative linear logic
N
non-commutative
O
Operad
operational semantics
P
process calculus
Proof nets
Q
Quantum functional languages
Quantum Programming
R
regular languages
S
second order quantifiers
second-order quantification
semantics
sequent calculus
Species of Structures
star-autonomous categories
substructural calculus
T
Taylor expansion
traced monoidal categories
transcendental syntax
translations
type theory
Y
Yoneda isomorphism