Empty Types in Polymorphic Lambda Calculus.

Albert R. Meyer John C. Mitchell Eugenio Moggi Richard Statman

Published in: POPL (1987)

Keyphrases

lambda calculus
database
higher order
programming language
theorem proving