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

(14)

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

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)