On structural properties of eta-expansions of identity

DOI10.1016/S0020-0190(03)00344-2MaRDI QIDQ1014452zbMATH OpenOpenAlexFDO

Authors Benedetto Intrigila, Monica Nesi

Publication date 28 April 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(03)00344-2

zbMATH Keywords

\(\lambda \)-calculuscombinatorial problemsfunctional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• The virtues of eta-expansion
• Explicit substitutions calculi with one step eta-reduction decided explicitly
• Syntactic analysis of \(\eta\)-expansions in pure type systems.
• Uniformity and the Taylor expansion of ordinary lambda-terms
• A characterization of the Taylor expansion of -terms

Cites work

• An Introduction to Symbolic Dynamics and Coding
• scientific article; zbMATH DE number 1024080 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Normal functors, power series and -calculus
• Regular Böhm trees
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(3)

• scientific article; zbMATH DE number 3422460 (Why is no real title available?)
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• scientific article; zbMATH DE number 7204439 (Why is no real title available?)

This page was built for publication: On structural properties of eta-expansions of identity

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