scientific article; zbMATH DE number 3659007

zbMATH Open0423.68048MaRDI QIDQ3857730FDOQ3857730

Authors: N. G. de Bruijn 

Publication date: 1978

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

zbMATH Keywords

lambda calculusAUTOMATH

Mathematics Subject Classification ID

Artificial intelligence (68T99) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited In (7)

• Lambda-calculus with director strings
• Explicit substitutions with de bruijn's levels
• λν, a calculus of explicit substitutions which preserves strong normalisation
• A useful \(\lambda\)-notation
• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
• Intersection types for explicit substitutions
• Pure pattern calculus à la de Bruijn

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