Login / Signup

A fixed point extension of the second order lambda-calculus: observable equivalences and models

Roberto M. Amadio
Published in: LICS (1988)
Keyphrases
  • fixed point
  • lambda calculus
  • higher order
  • database
  • sufficient conditions
  • dynamical systems
  • constraint databases