Skip to content

Algebraic Semantics of Type Definitions and Structured Variables.

Hans-Dieter Ehrich

VenueBFCT
Year1977
ProceedingsFCT

Browse the full FCT paper archive.