Thorsten Altenkirch
AuthID: R-00J-E45
1
TITLE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
AUTHORS: Thorsten Altenkirch; Conor McBride;
PUBLISHED: 2007, SOURCE: TYPES, VOLUME: 4502
AUTHORS: Thorsten Altenkirch; Conor McBride;
PUBLISHED: 2007, SOURCE: TYPES, VOLUME: 4502
INDEXED IN: 
DBLP
DBLP