Intersection Types from a Proof-theoretic Perspective.

Elaine Pimentel Simona Ronchi Della Rocca Luca Roversi

Published in: Fundam. Informaticae (2012)

Keyphrases

proof theoretic
artificial intelligence
linear logic
natural language
fixpoint