Skip to content

Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics.

Klaus-Dieter Schewe

VenueBFCT
Year1995
ProceedingsFCT

Browse the full FCT paper archive.