scientific article

zbMath0469.03008MaRDI QIDQ3922648

Simonetta Ronchi della Rocca

Publication date: 1981

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

zbMATH Keywords

separabilitynumeral systemsdiscriminable sets of terms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Infinite \(\lambda\)-calculus and types ⋮ On infinite \(\eta\)-expansion

This page was built for publication: