scientific article; zbMATH DE number 3609632
From MaRDI portal
Publication:4175528
zbMath0393.03009MaRDI QIDQ4175528
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Eta-conversion for the languages of explicit substitutions ⋮ Monads, indexes and transformations ⋮ The regular-language semantics of second-order idealized ALGOL ⋮ Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ A notation for lambda terms. A generalization of environments ⋮ N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker ⋮ Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL ⋮ Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
This page was built for publication:
