Games and Full Abstraction for a Functional Metalanguage with Recursive TypesGuy McCuskerSold out4.3Track
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons PrincipiaJacques FleuriotSold out4.3Track