Robert L. Constable
Affiliations: | Cornell University, Ithaca, NY, United States |
Google:
"Robert Constable"Parents
Sign in to add mentor| Stephen Cole Kleene | grad student | 1968 | UW Madison | |
| (Extending and Refining Hierarchies of Computable Functions) | ||||
Children
Sign in to add trainee| Robert William Harper | grad student | (Physics Tree) | |
| Allan B. Borodin | grad student | 1969 | Cornell |
| Kurt Mehlhorn | grad student | 1974 | Cornell (Computational Biology Tree) |
| Edmund M. Clarke | grad student | 1976 | Cornell |
| Joseph Bates | grad student | 1979 | Cornell |
| Robert Harper | grad student | 1985 | Cornell |
| Jason J. Hickey | grad student | 2000 | Cornell |
| Ralph Benzinger | grad student | 2001 | Cornell |
| Ozan Hafizogullari | grad student | 2001 | Cornell |
| Aleksey Y. Nogin | grad student | 2002 | Cornell |
| Amanda M. Holland-Minkley | grad student | 2004 | Cornell |
| Alexei P. Kopylov | grad student | 2004 | Cornell |
| Eli Barzilay | grad student | 2005 | Cornell |
| Lori A. Lorigo | grad student | 2006 | Cornell |
| Wojciech T. Moczydlowski | grad student | 2007 | Cornell |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Rahli V, Bickford M, Cohen L, et al. (2019) Bar Induction is Compatible with Constructive Type Theory Journal of the Acm. 66: 13 |
| Cohen L, Constable RL. (2019) Intuitionistic ancestral logic Journal of Logic and Computation. 29: 469-486 |
| Kellison A, Bickford M, Constable RL. (2019) Implementing Euclid’s straightedge and compass constructions in type theory Annals of Mathematics and Artificial Intelligence. 85: 175-192 |
| Rahli V, Guaspari D, Bickford M, et al. (2017) EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems Science of Computer Programming. 148: 26-48 |
| Rahli V, Guaspari D, Bickford M, et al. (2015) Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML Electronic Communication of the European Association of Software Science and Technology. 72 |
| Cohen L, Constable RL. (2015) Intuitionistic ancestral logic as a dependently typed abstract programming language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9160: 14-26 |
| Constable R, Bickford M. (2014) Intuitionistic completeness of first-order logic Annals of Pure and Applied Logic. 165: 164-198 |
| Constable RL. (2012) On building constructive formal theories of computation noting the roles of turing, church, and brouwer Proceedings of the 2012 27th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2012. 2-8 |
| Bickford M, Constable R, Halpern JY, et al. (2011) Knowledge-based synthesis of distributed systems using event structures Logical Methods in Computer Science. 7 |
| Constable RL. (2009) Computational type theory Scholarpedia. 4: 7618 |