Stuart F. Allen is an author at Cornell University specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningReasoningFormal LogicVerificationComputer ScienceProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
1987–2005
5
5
Innovations in computational type theory using Nuprl
Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations
The semantics of reflected proof
Stuart F. Allen, Robert L. Constable, Douglas J. Howe et al. · 2002 · 84 citations
A Non-Type-Theoretic Semantics For Type-Theoretic Language
Stuart F. Allen · eCommons (Cornell University) · 1987 · 72 citations · Full text
A Non-Type-Theoretic Definition of Martin-Lof''s Types
Stuart F. Allen · eCommons (Cornell University) · 1987 · 49 citations · Full text
FDL: A Prototype Formal Digital Library
Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · eCommons (Cornell University) · 2004 · 11 citations · Full text
Rows per page
1–5 of 5