| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:500111965:1512 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:500111965:1512?format=raw |
LEADER: 01512mam a2200313 a 4500
001 1894740
005 20220609021649.0
008 951002t19961996maua b 001 0 eng
010 $a 95045243
020 $a0262133210 (hc : alk. paper)
035 $a(OCoLC)ocm33277643
035 $9ALY5738CU
035 $a(NNC)1894740
035 $a1894740
040 $aDLC$cDLC$dOrLoB-B
050 00 $aQA76.7$b.M57 1996
082 00 $a005.13/1$220
100 1 $aMitchell, John C.$0http://id.loc.gov/authorities/names/n93065485
245 10 $aFoundations for programming languages /$cJohn C. Mitchell.
260 $aCambridge, Mass. :$bMIT Press,$c[1996], ©1996.
300 $axix, 846 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aFoundations of computing
504 $aIncludes bibliographical references (p. [817]-836) and index.
505 00 $g1.$tIntroduction --$g2.$tThe Language PCF --$g3.$tUniversal Algebra and Algebraic Data Types --$g4.$tSimply-typed Lambda Calculus --$g5.$tModels of Typed Lambda Calculus --$g6.$tImperative Programs --$g7.$tCategories and Recursive Types --$g8.$tLogical Relations --$g9.$tPolymorphism and Modularity --$g10.$tSubtyping and Related Concepts --$g11.$tType Inference.
650 0 $aProgramming languages (Electronic computers)$0http://id.loc.gov/authorities/subjects/sh85107313
830 0 $aFoundations of computing.$0http://id.loc.gov/authorities/names/n83731477
852 00 $boff,eng$hQA76.7$i.M57 1996