Date Range
Date Range
Date Range
Forgot Password or Username? Deviant for 1 Year. This is the place where you can personalize your profile! Added to t.
Programming Languages, Semantics and Logic. Dundee University, Theory Of Computation Web Site. Computational Logic and Proof Theory. Functional Programming languages and Automated Theorem Provers. Type Inference in Programming Languages. Verification by means of Automated and Interactive Theorem Proving. Machine Learning methods in the above.
The collective works and creations of Rebecca Turner. Upon entering the arena I know this was going to be one of the best nights of my .
Forgot Password or Username? Deviant for 6 Years. This is the place where you can personalize your profile! .