Inductive datatypes with laws and subtyping

<<a>> relational model

Verfasser / Beitragende:
Theodorus Sebastiaan Voermans
Ort, Verlag, Jahr:
Eindhoven : Eindhoven University of Technology, 1999
Beschreibung:
VI, 197 S. ; 25 cm
Format:
Buch (Hochschulschrift)
ID: 143943219