Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Giovanni Sambin, Jan Smith (eds.)
Bok Engelsk 1998
| Utgitt | Oxford : Oxford University Press , c1998
|
|---|---|
| Omfang | vii, 283 s.
|
| Emner | |
| ISBN | 0198501277. - 9780198501275
|
