scientific article; zbMATH DE number 1984518

zbMATH Open1030.03013MaRDI QIDQ4428883FDOQ4428883

Authors: Klaus Grue 

Publication date: 22 September 2003

Title of this publication is not available (Why is that?)

Recommendations

• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Coquand's calculus of constructions: A mathematical foundation for a proof development system
• scientific article; zbMATH DE number 3875232
• Models of the lambda calculus: an introduction

zbMATH Keywords

foundations of mathematicslambda calculusillative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (2)

• The basis decision problem in λ‐calculus
• Dedekind completion as a method for constructing new Scott domains

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428883)