by: D. H. Pitt · D. E. Rydeheard · P. Dybjer · Andrew M. Pitts · A. Poigne
Paperback
ISBN: 978-0-387-51662-2
ISBN-10: 0-387-51662-X
Springer Nature · 1989
|
|
by: D. H. Pitt · D. E. Rydeheard · P. Dybjer · Andrew M. Pitts · A. PoignePaperback
ISBN: 978-0-387-51662-2 ISBN-10: 0-387-51662-X Springer Nature · 1989 |
| See also: | ||
| 2008 | Taschenbuch | Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, Band 389) |