scientific article; zbMATH DE number 3609632

MaRDI QIDQ4175528zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1978

zbMATH Keywords

Lambda Calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(11)

• A notation for lambda terms. A generalization of environments
• Eta-conversion for the languages of explicit substitutions
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• The regular-language semantics of second-order idealized ALGOL
• N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
• Monads, indexes and transformations
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
• N. G. de Bruijn's contribution to the formalization of mathematics
• A \(\rho\)-calculus of explicit constraint application
• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL

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 Q4175528)