Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected Papers

Capa
Springer, 2001 - 193 páginas

Informação bibliográfica

TítuloTypes for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected Papers
Lecture notes in computer science
AutorThierry Coquand
EditoraSpringer, 2001
ISBN1579583164, 9781579583163
Número de páginas193 páginas
  
Exportar citaçãoBiBTeX EndNote RefMan