von: Peter Dybjer · Andrew M. Pitts · Axel Poigne · David E. Rydeheard · David H. Pitt
Taschenbuch
ISBN-13: 978-3-540-51662-0
ISBN-10: 3-540-51662-X
Springer · 2008
|
|
von: Peter Dybjer · Andrew M. Pitts · Axel Poigne · David E. Rydeheard · David H. PittTaschenbuch
ISBN-13: 978-3-540-51662-0 ISBN-10: 3-540-51662-X Springer · 2008 |
| Siehe auch: | ||
| 1989 | Paperback | Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science) |