zbMATH — the first resource for mathematics

Completeness results for a polymorphic type system. (English) Zbl 0523.68011
Trees in algebra and programming, CAAP’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 179-190 (1983).

68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification