Data type proofs using Edinburgh LCF
By: Brian Quentin Monahan
Contributors: University of Edinburgh
Published: 1984
Language: eng
Notes: BLDSC reference no.: D56823/85.

Thesis (doctoral)--University of Edinburgh, 1984.