Login / Signup
A Modal Lambda Calculus with Iteration and Case Constructs.
Joëlle Despeyroux
Pierre Leleu
Published in:
TYPES (1998)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
general purpose
modal logic