Thorsten Altenkirch


AuthID: R-00J-E45

Publicações a aguardar confirmação

1
TÍTULO: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
AUTORES: Thorsten Altenkirch; Conor McBride;
PUBLICAÇÃO: 2007, FONTE: TYPES, VOLUME: 4502
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service