Publication:3709890
From MaRDI portal
zbMath0585.68047MaRDI QIDQ3709890
Publication date: 1985
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03B40: Combinatory logic and lambda calculus
Related Items
Toward a semantics for the QUEST language, Type inference with recursive types: Syntax and semantics, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Recursion over realizability structures, Inheritance as implicit coercion, Recursive types for Fun, A theory for program and data type specification, Combining type disciplines, A coinductive completeness proof for the equivalence of recursive types