Robert L. Constable
Cornell University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Computability, Logic, AI Algorithms, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- Implementing Mathematics with The Nuprl Proof Development System(1986)
- → Proofs as programs(1985)185 cited
- → Building reliable, high-performance communication systems from components(1999)113 cited
- → Basic Statistical Methods.(1966)96 cited
- → Innovations in computational type theory using Nuprl(2005)91 cited
- → On Classes of Program Schemata(1972)84 cited
- → The semantics of reflected proof(2002)84 cited
- →