Back to Results
First PageMeta Content
Computing / Turing Award laureates / Ucam / Algorithm / Logic for Computable Functions / Proof assistant / HOL / Robin Milner / Compiler / Logic in computer science / Theoretical computer science / Computer science


Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory
Add to Reading List

Document Date: 2014-12-02 09:28:45

Open Document

File Size: 992,19 KB

Share Result on Facebook
UPDATE