Login / Signup

Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB.

Manfred Schmidt-SchaußDavid Sabel
Published in: RTA-TLCA (2014)
Keyphrases
  • lambda calculus
  • higher order
  • predicate calculus
  • programming language
  • database
  • software engineering
  • complex objects