Your search returned 5 results.

Results
	1.		Type-theoretical grammar Aarne Ranta by Ranta, Aarne Publication details: Oxford Clarendon Press 1994 Availability: Items available for loan: Anna Centenary Library (1)Call number: 415 RAN.
	2.		No cover image available Categorical logic and type theory Bart Jacobs by Jacobs, Bart Edition: 1st ed Publication details: Amsterdam ; New York Elsevier Science c1999 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 JAC.
	3.		No cover image available Derivation and computation : taking the Curry-Howard correspondence seriously Harold Simmons by Simmons, Harold Publication details: Cambridge Cambridge University Press 2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 51 3 SIM.
	4.		History and philosophy of constructive type theory by Giovanni Sommaruga by Sommaruga, Giovanni Publication details: Dordrecht ; Boston Kluwer c2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 SOM.
	5.		Basic simple type theory J. Roger Hindley by Hindley, J. Roger Publication details: Cambridge Cambridge University Press c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.13 HIN.

Refine your search