Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Joseph L. Bates
3 results
Proofs as Programs
| cite »
by Joseph L. Bates, Robert L. Constable
1985
Writing Programs That Construct Proofs
| cite »
by Robert L. Constable, Todd B. Knoblock, Joseph L. Bates
1984
A Logic for Correct Program Development
| cite »
by Joseph L. Bates
1981