|
eCommons@Cornell >
Browsing by Author Allen, Stuart
Showing results 2 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | 26-Mar-2004 | Expressing and Implementing the Computational Content Implicit in
Smullyan's Account of Boolean Valuations | Allen, Stuart; Constable, Robert; Fluet, Matthew |
| 16-Jun-2004 | FDL: A Prototype Formal Digital Library | Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor |
| Sep-1999 | Justifying Calculational Logic by a Conventional Metalinguistic Semantics | Aaron, Eric; Allen, Stuart |
| Apr-1987 | A Non-Type-Theoretic Definition of Martin-Lof's Types | Allen, Stuart |
| Sep-1987 | A Non-Type-Theoretic Semantics For Type-Theoretic Language | Allen, Stuart |
| Feb-1994 | A Notation for Computer Aided Mathematics | Mannion, Conal; Allen, Stuart |
Showing results 2 to 7 of 7
|
