scientific article
From MaRDI portal
Publication:3786467
zbMath0644.03008MaRDI QIDQ3786467
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Constructing type systems over an operational semantics
This page was built for publication:
