01119nam a2200325 i 450099100132511970753620020507191404.0930601s1991 us ||| | eng 0817635947b10831770-39ule_instLE01310536ExLDip.to Matematicaeng511.3AMS 03FQA76.7S82Streicher, Thomas536751Semantics of type theory :correctness, completeness and independence results /Thomas StreicherBoston :Birkhäuser,1991298 p. ;24 cm.Progress in theoretical computer scienceElectronic computersFunctional programmingProgramming languagesType theory.b1083177023-02-1728-06-02991001325119707536LE013 03F STR11 (1991)12013000146744le013-E0.00-l- 00000.i1094078928-06-02Semantics of type theory923717UNISALENTOle01301-01-93ma -engus 01