Constructions and predicates
Dusko Pavlovic
Details
| 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 |
Links
Related pages
|
People |