Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Randy Pollack (Editor)

Research output: Book/ReportBook

Original languageEnglish
PublisherSpringer
Publication statusPublished - 2002

Cite this