Constructions and predicates
Dusko Pavlovic
Book Title
Category Theory and Computer Science '91
Editor
D. Pitt et al.
Pages
173–197
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
530
Year
1991
Dusko Pavlovic