FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
anaphora
Anti-unification
B
beta reduction
C
categorial grammar
ccg
Comonads
D
dependent type theory
E
Extension
F
Formal Semantics
G
Generalization of syntactic parse trees
Grammar testing
Grammatical Framework
H
head variable
homotopy type theory
Hyperintensional Logic
I
inference
Intension
Intensional Logic
Intensional Type Theory
J
Judgemental Interpretation
K
Knowledge Representation
L
Least general generalization
M
Modal type theory
Monads
monotonicity
Montague semantics
N
natural language processing
natural language understanding
nominalizations
P
parsing
paycheck pronouns
PMCFG
polarity
presupposition
proof-theoretic semantics
R
Richard Montague
S
semantic parsing
T
textual inference
type theory
typed lambda calculus
U
UD
W
wordnet