scientific article
From MaRDI portal
Publication:3823124
zbMath0669.68012MaRDI QIDQ3823124
Paul Chisholm, Grant Malcolm, Roland C. Backhouse
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) General logic (03B99) Combinatory logic and lambda calculus (03B40) Algorithms in computer science (68W99) Theory of computing (68Q99)
Related Items
Innovations in computational type theory using Nuprl ⋮ Formalizing Type Operations Using the “Image” Type Constructor
