Thorsten Altenkirch

T.A. · Thorsten Altena

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers978-3-540-66537-3
(3-540-66537-4)
2008Wolfgang Naraschewski · Bernhard Reus
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 Revised Selected Papers978-3-540-74463-4
(3-540-74463-0)
2007Conor McBride

Thorsten Altheide