Proc of TYPES Working Group Workshop on Subtyping, Inheritance, and Modularisation of Proofs

Z. Luo (Editor), S. Soloviev (Editor)

Research output: Book/ReportBook

Original languageEnglish
PublisherDurham University
Publication statusPublished - 1997

Cite this