FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDEGILNPRSU
A
adequate numeral system
C
call-by-value
cut elimination
D
discrete polymorphism
E
execution time
G
gradual typing
I
intersection types
L
lambda calculus
lambda-calculus
linear logic
N
Natural deduction
non-idempotent intersection types
Normalization
P
product types
R
relational semantics
S
shuffling calculus
simple types
strongly normalizable terms
subject reduction
Subtyping
U
uniform intersection types