TY  - BOOK
AU  - Sommaruga,Giovanni
TI  - History and philosophy of constructive type theory
SN  - 0792361806 :
U1  - 511.3 
PY  - 2000///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Type theory
N1  - Bibliography : p. 349-354
ER  -