Inductive datatypes with laws and subtyping
<<a>> relational model
Gespeichert in:
Verfasser / Beitragende:
Theodorus Sebastiaan Voermans
Ort, Verlag, Jahr:
Eindhoven :
Eindhoven University of Technology,
1999
Beschreibung:
VI, 197 S. ; 25 cm
Format:
Buch (Hochschulschrift)