Basic Simple Type Theory : (CTTCS, 42)
Material type: TextSeries: Cambridge Tracts in Theoretical Computer Science, 42Publication details: Cambridge ; CUP ; 1997Description: 186ISBN: 0 521 46518 4Subject(s): Type TheoryCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 HIND (Browse shelf (Opens below)) | Available | 45994 |
There are no comments on this title.