Edinburgh LCF: A Mechanised Logic of Computation – Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.)

$7.90

Type: ebook (pdf) | Filesize: 7.4 MB. Edinburgh LCF: A Mechanised Logic of Computation – Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (au…