scientific article; zbMATH DE number 1332647

zbMATH Open0924.68055MaRDI QIDQ4259974FDOQ4259974

Authors: Gopalan Nadathur 

Publication date: 9 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-02/A99-02.html

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

Recommendations

• A notation for lambda terms. A generalization of environments
• A useful \(\lambda\)-notation
• Refining reduction in the lambda calculus
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case

zbMATH Keywords

lambda terms

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (11)

• Lambda-calculus with director strings
• A flexible framework for visualisation of computational properties of general explicit substitutions calculi
• Viewing \({\lambda}\)-terms through maps
• Title not available (Why is that?)
• Choices in representation and reduction strategies for lambda terms in intensional contexts
• A notation for lambda terms. A generalization of environments
• The suspension notation for lambda terms and its use in metalanguage implementations
• Title not available (Why is that?)
• Comparing and implementing calculi of explicit substitutions with eta-reduction
• Comparing calculi of explicit substitutions with eta-reduction
• Logical Aspects of Computational Linguistics

Uses Software

• Nuprl

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