|
|
Constructions and predicates
Dusko Pavlovic infobook 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 |
links
BibTeX
related pages
|
|
|
|
