Towards a Mathematical Science of Computation (1962)

by J. Mccarthy
Venue:In IFIP Congress
Citations:180 - 6 self

Active Bibliography

2 Type Theory with First-Order Data Types and Size-Change Termination – David Wahlstedt - 2004
This page is intentionally left blank. Formal Software Verification: Model Checking and Theorem Proving – Martin Ouimet, Software Verification, Martin Ouimet
Lisp - notes On Its Past And Future - 1980 – John McCarthy
J. McCarthy – Computer Science Department, J. Mccarthy - 1962
Simulation and Test-Case Generation for PVS Specifications of Control Logics – Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci