On canonical notion of -reduction and on translation of typed -terms into untyped -terms

zbMATH Open1367.03031MaRDI QIDQ5283606FDOQ5283606

Authors: S. A. Nigiyan, Tigran V. Khondkaryan 

Publication date: 24 July 2017

Recommendations

• scientific article; zbMATH DE number 7039354
• scientific article; zbMATH DE number 6496907
• A necessary and sufficient condition for the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction
• On the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction
• scientific article; zbMATH DE number 6823356

zbMATH Keywords

translation\(\lambda\)-definabilitynotion of \(\delta\)-reductiontyped \(\lambda\)-termuntyped \(\lambda\)-term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (5)

• Title not available (Why is that?)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On canonical notion of \(\delta\)-reduction and on translation of typed \(\lambda\)-terms into untyped \(\lambda\)-terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283606)