IMSc Library catalog › Results of search for 'au:"Altenkirch, Thorsten."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Types for Proofs and Programs [electronic resource] : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers / edited by Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski. by Altenkirch, Thorsten [editor.] \| Reus, Bernhard [editor.] \| Naraschewski, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1657Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by Altenkirch, Thorsten [editor.] \| McBride, Conor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4502Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags