scientific article; zbMATH DE number 3611324

zbMATH Open0394.03021MaRDI QIDQ4175261FDOQ4175261

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

Publication date: 1978

Title of this publication is not available (Why is that?)

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
• Title not available (Why is that?)
• 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 \(\lambda\)-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)