An Intensional Type Theory: Motivation and Cut-Elimination.

Paul C. Gilmore

Published in: J. Symb. Log. (2001)

Keyphrases

proof theoretic
linear logic
cut elimination
sequent calculus
machine learning
higher order
query evaluation
expert systems
model theoretic