The lambda calculus : its syntax and semantics /

Similar Items

• Lambda calculus : its syntax and semantics /
  by: 366514 Barenregt, H. P.
  Published: (1984)
• Functional Programming & Lambda Calculus /
  by: Ricci, Raven, author 640034, et al.
  Published: (2012)
• Abstract computing machines : a lambda calculus perspective /
  by: Kluge, Werner (Werner E.)
  Published: (2005)
• Termination and semantics of probabilistic lambda calculus
  by: Kenyon-Roberts, A
  Published: (2024)
• The Theory of an Arbitrary Higher \(\lambda\)-Model
  by: Daniel O. Martínez-Rivillas, et al.
  Published: (2023-04-01)