Normal view MARC view

Type theory (Topical Term)

Number of records used in: 4
Preferred form: Type theory

Machine generated authority record.

Work cat.: (): Andrews, P. B. (Peter Bruce) , 1937- 174822, A transfinite type theory with type variables /, 1965

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India