lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value.

Jérôme Rocheteau

Published in: RTA (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
complex objects
formal model