• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis CurienRoberto Di Cosmo
Published in: ICALP (1991)
Keyphrases
  • lambda calculus
  • complex objects
  • programming language
  • general purpose
  • object model
  • d objects
  • artificial intelligence
  • case study