Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277. / Callaghan, Paul (Editor); Luo, Zhaohui (Editor); McKinna, James (Editor); Pollack, Randy (Editor).

Springer, 2002.

Research output: Book/ReportBook

Published
  • Paul Callaghan (Editor)
  • Zhaohui Luo (Editor)
  • James McKinna (Editor)
  • Randy Pollack (Editor)
Original languageEnglish
PublisherSpringer
Publication statusPublished - 2002

ID: 1775418