IMSc Library catalog › Results of search for 'su:"Type Theory"'

Your search returned 4 results.

Not what you expected? Check for suggestions

			Extensional Constructs in Intensional Type Theory by Hofmann, Martin. Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOF. Place hold Log in to add tags
			Categorical Logic and Type Theory : (SL - FM 141) by Jacobs, B. Series: Studies in Logic and the Foundations of Mathematics, 141Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 JAC. Place hold Log in to add tags
			Derivation and Computation :(CTC 51) by Simmons, H. Series: Cambridge Tracts in Theoretical Computer Science, 51Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SIM. Place hold Log in to add tags
			Basic Simple Type Theory : (CTTCS, 42) by Hindley, J Roger. Series: Cambridge Tracts in Theoretical Computer Science, 42Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HIND. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha