Redexes are stable in the -calculus

DOI10.1017/S0960129515000353MaRDI QIDQ5269004zbMATH OpenFDO

Authors Jean-Jacques Lévy

Publication date 14 June 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Paths, computations and labels in the \(\lambda\)-calculus
• Paths, computations and labels in the λ-calculus
• Stable results and relative normalization
• Refining reduction in the lambda calculus
• On the construction of stable models of untyped \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3988695 (Why is no real title available?)
• scientific article; zbMATH DE number 4005580 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• A global representation of the recursive functions in the \(\lambda\)- calculus
• Analysis and caching of dependencies
• Combinatory logic. Vol. II
• Four equivalent equivalences of reductions
• From Semantics to Computer Science
• Full abstraction for PCF
• LCF considered as a programming language
• Minimal and Optimal Computations of Recursive Programs
• Paths, computations and labels in the \(\lambda\)-calculus
• Sequential algorithms on concrete data structures
• The lambda calculus. Its syntax and semantics. Rev. ed.

This page was built for publication: Redexes are stable in the \(\lambda\)-calculus

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