Edinburgh Research Archive

Data type proofs using Edinburgh LCF

Abstract

This item appears in the following Collection(s)