Types for Proofs and Programs: International Workshop, TYPES2000, Durham, UK, December 2000. Selected Papers

Paul Callaghan, Zhaohui Luo, James Hugh McKinna, Robert Pollack

Research output: Book/Report › Book

Cite this

@book{7dc25a1de9234fbaa2f09fcdf143c038,

title = "Types for Proofs and Programs: International Workshop, TYPES2000, Durham, UK, December 2000. Selected Papers",

author = "Paul Callaghan and Zhaohui Luo and McKinna, {James Hugh} and Robert Pollack",

year = "2002",

language = "English",

isbn = "3-540-43287-6",

publisher = "Springer-Verlag",

address = "Germany",

}

TY - BOOK

T1 - Types for Proofs and Programs: International Workshop, TYPES2000, Durham, UK, December 2000. Selected Papers

AU - Callaghan, Paul

AU - Luo, Zhaohui

AU - McKinna, James Hugh

AU - Pollack, Robert

PY - 2002

Y1 - 2002

M3 - Book

SN - 3-540-43287-6

BT - Types for Proofs and Programs: International Workshop, TYPES2000, Durham, UK, December 2000. Selected Papers

PB - Springer-Verlag

ER -