Interactive Proof with Cambridge LCF, p. 3-12
DOI: 10.1017/cbo9780511526602.002
Export citation
Search in Google Scholar
Full text: Unavailable