Structural induction in LCF.
Edition: (Rev. ed.).
Series: Technical report -- 44
Publisher: University of Cambridge Computer Laboratory
Published: 1984
Place of publication: Cambridge
Language: eng
Number of pages: 34