Twenty-five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice,October 1995 /
| Další autoři: |
Sambin, Giovanni
(
Editor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Oxford :
Clarendon Press,
1998
|
| Předmět: | |
|
|