Proc of TYPES Working Group Workshop on Subtyping, Inheritance, and Modularisation of Proofs. / Luo, Z. (Editor); Soloviev, S. (Editor).

Durham University, 1997.

Research output: Book/ReportBook

Published
  • Z. Luo (Editor)
  • S. Soloviev (Editor)
Original languageEnglish
PublisherDurham University
Publication statusPublished - 1997

ID: 1775229