TY  - BOOK
AU  - Sambin Giovanni ed.
ED  - Conference on Twenty-five Years of Constructive Type Theory (19-21 Oct 1995 : Venice,Switzerland)
ED  - Conference on twenty-five years of constructive type theory
TI  - Twenty-five years of constructive type theory: proceedings
SN  - 0-19-850127-7
U1  - 511.3 
PY  - 1998///
CY  - Oxford
PB  - Clarendon Press
KW  - Mathematical logic
KW  - Type theory
ER  -