scientific article; zbMATH DE number 3611324

zbMath0394.03021MaRDI QIDQ4175261

Mariangiola Dezani-Ciancaglini, Mario Coppo, Simonetta Ronchi della Rocca

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Lambda CalculusSeparability of Finite Sets of Terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (12)

Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 ⋮ A type-assignment of linear erasure and duplication ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Parametric \(\lambda \)-theories ⋮ A stable programming language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus ⋮ An algebraic view of the Böhm-out technique ⋮ Unnamed Item ⋮ Constructive proofs of the range property in lambda calculus ⋮ An analysis of Böhm's theorem

This page was built for publication: