A Set-theoretic Setting for Structuring Theories in Proof Development

Z. Luo
, R. Burstall

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original language	English
Title of host publication	LFCS Report Series
Publisher	LFCS, Edinburgh Univ
Publication status	Published - 1992

Cite this