Non-idempotent intersection types for the Lambda-Calculus.

Antonio Bucciarelli Delia Kesner Daniel Ventura

Published in: Log. J. IGPL (2017)

Keyphrases

lambda calculus
artificial intelligence
high level
data model
programming language
software development
normal form
predicate calculus
database query languages