scientific article; zbMATH DE number 3611324

MaRDI QIDQ4175261zbMATH OpenFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca

Publication date 1978

zbMATH Keywords

Lambda CalculusSeparability of Finite Sets of Terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(13)

• Lambda-definable term rewriting systems
• An algebraic view of the Böhm-out technique
• scientific article; zbMATH DE number 7243677 (Why is no real title available?)
• An analysis of Böhm's theorem
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• A stable programming language
• Equational programming in -calculus via SL-systems. Part 1
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Parametric \(\lambda \)-theories
• A type-assignment of linear erasure and duplication
• Relational graph models at work
• Constructive proofs of the range property in lambda calculus

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