scientific article; zbMATH DE number 1984518

MaRDI QIDQ4428883zbMATHFDO

Authors Klaus Grue

Publication date 22 September 2003

zbMATH Keywords

foundations of mathematicslambda calculusillative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

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)