Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Michael J. O'Donnell
2 results
Connecting Formal Semantics to Constructive Intuitions
by Michael J. O'Donnell
July 06, 1993
A Programming Logic
| cite »
by Robert L. Constable, Michael J. O'Donnell
1978