-
1Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers /by Callaghan, Paul. editor., Luo, Zhaohui. editor., McKinna, James. editor., Pollack, Robert. editor., Pollack, Robert. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
2Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers /by Callaghan, Paul. editor., Luo, Zhaohui. editor., McKinna, James. editor., Pollack, Robert. editor., Pollack, Robert. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS