Types for Proofs and Programs, International Workshop, Types 2006, Nottingham, Uk, April 18-21, 2006, Revised Selected Papers

AuthID
 P-00S-7XT
2
Author(s)
McBride, C
Tipo de Documento
Proceedings
Year published
2007
Publicado
in TYPES in Lecture Notes in Computer Science
Volume: 4502
Indexing
Dblp®/pt/publications/view/827322
Publication Identifiers
DBLP: conf/types/2006
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

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

Links Úteis

Ajuda

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