scientific article; zbMATH DE number 1332647

MaRDI QIDQ4259974zbMATH OpenFDO

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

zbMATH Keywords

lambda terms

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

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

Cited in

(13)

• A notation for lambda terms. A generalization of environments
• A useful -notation
• Lambda-calculus with director strings
• Comparing and implementing calculi of explicit substitutions with eta-reduction
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• scientific article; zbMATH DE number 2090073 (Why is no real title available?)
• The suspension notation for lambda terms and its use in metalanguage implementations
• Comparing calculi of explicit substitutions with eta-reduction
• A flexible framework for visualisation of computational properties of general explicit substitutions calculi
• Logical Aspects of Computational Linguistics
• A lambda term representation inspired by linear ordered logic
• Viewing \({\lambda}\)-terms through maps
• Choices in representation and reduction strategies for lambda terms in intensional contexts

Describes a project that uses

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)