Login / Signup

A Modal Lambda Calculus with Iteration and Case Constructs.

Joëlle DespeyrouxPierre Leleu
Published in: TYPES (1998)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • general purpose
  • modal logic