scientific article
From MaRDI portal
Publication:3724296
zbMath0594.03005MaRDI QIDQ3724296
Publication date: 1985
Full work available at URL: https://eudml.org/doc/28149
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- The lambda calculus, its syntax and semantics
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On theories with a combinatorial definition of 'equivalence'
- A formulation of the simple theory of types
- The Calculi of Lambda Conversion. (AM-6)
This page was built for publication:
