scientific article; zbMATH DE number 3609632
From MaRDI portal
Publication:4175528
zbMATH Open0393.03009MaRDI QIDQ4175528FDOQ4175528
Authors: N. G. de Bruijn 
Publication date: 1978
Title of this publication is not available (Why is that?)
Cited In (11)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
- A \(\rho\)-calculus of explicit constraint application
- A notation for lambda terms. A generalization of environments
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
- N. G. de Bruijn's contribution to the formalization of mathematics
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
- Eta-conversion for the languages of explicit substitutions
- N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
- Monads, indexes and transformations
- The regular-language semantics of second-order idealized ALGOL
- 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)
