Edit Profile Constable, Robert Lee Compute Distance To: Compute Author ID: constable.robert-l Published as: Constable, R. L.; Constable, Robert; Constable, Robert C.; Constable, Robert L. Homepage: http://www.cs.cornell.edu/home/rc/ External Links: MGP · Wikidata · ResearchGate Member of Collective: the-univalent-foundations-program. Documents Indexed: 68 Publications since 1971, including 3 Books all top 5 Co-Authors 23 single-authored 9 Bickford, Mark 4 Cohen, Liron 4 Moczydłowski, Wojciech 3 Allen, Stuart F. 3 Eaton, Richard 3 Lorigo, Lori 3 Rahli, Vincent 2 Bates, Joseph L. 2 Egli, Herbert 2 Gries, David 2 Halpern, Joseph Yehuda 2 Kreitz, Christoph 2 Muchnick, Steven S. 2 Petride, Sabina 2 Zlatin, Daniel R. 1 Aitken, William E. 1 Basin, David A. 1 Borodin, Allan B. 1 Caldwell, James 1 Crary, Karl 1 Donahue, James Edward 1 Eichenlaub, C. D. 1 Hartmanis, Juris 1 Hickey, Jason J. 1 Howe, Douglas J. 1 Hunt, Harry Bowen III 1 Johnson, Steven D. 1 Kamareddine, Fairouz D. 1 Kellison, Ariel 1 Kleinberg, Jon Michael 1 Knoblock, Todd B. 1 Laan, Twan 1 Mendler, Nax Paul 1 Moran, E. 1 Murthy, Chet 1 O’Donnell, Michael J. 1 Sahni, Sartaj K. 1 Silva, Alexandra 1 Smith, Scott F. 1 Underwood, Judith L. all top 5 Serials 3 ACM Transactions on Programming Languages and Systems 2 Journal of the Association for Computing Machinery 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Information and Computation 1 Journal of Logic and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 Journal of Applied Logic Fields 58 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 3 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 Geometry (51-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 44 Publications have been cited 236 times in 184 Documents Cited by ▼ Year ▼ On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 21 1972 Computability concepts for programming language semantics. Zbl 0352.68042Egli, Herbert; Constable, Robert L. 19 1976 Type two computational complexity. Zbl 0306.68022Constable, Robert L. 16 1973 On the computational complexity of program scheme equivalence. Zbl 0447.68038Hunt, H. B. III; Constable, R. L.; Sahni, S. 14 1980 The operator gap. Zbl 0229.68016Constable, Robert L. 14 1972 Proofs as programs. Zbl 0555.68003Bates, Joseph L.; Constable, Robert L. 13 1985 Computability concepts for programming language semantics. Zbl 0359.68017Egli, Herbert; Constable, Robert L. 11 1975 Subrecursive programming languages. I: Efficiency and program structure. Zbl 0259.68036Constable, Robert L.; Borodin, Allan B. 11 1972 Metalogical frameworks. Zbl 0922.03019Basin, David A.; Constable, Robert L. 9 1993 Recursive definitions in type theory. Zbl 0579.68019Constable, R. L.; Mendler, N. P. 9 1985 Innovations in computational type theory using Nuprl. Zbl 1107.68090Allen, S. F.; Bickford, M.; Constable, R. L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E. 7 2006 Constructive mathematics and automatic program writers. Zbl 0255.68014Constable, Robert L. 7 1972 Computational foundations of basic recursive function theory. Zbl 0798.03046Constable, Robert L.; Smith, Scott F. 5 1993 Writing programs that construct proofs. Zbl 0615.68063Constable, R. L.; Knoblock, T. B.; Bates, J. L. 5 1985 The type theory of PL/CV3. Zbl 0522.68020Constable, Robert L.; Zlatin, Daniel R. 5 1984 An introduction to the PL/CV2 programming logic. Zbl 0496.68008Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D. 5 1982 Intuitionistic completeness of first-order logic. Zbl 1345.03114Constable, Robert; Bickford, Mark 4 2014 Nuprl’s class theory and its applications. Zbl 0995.68014Constable, Robert L.; Hickey, Jason 4 2000 The Nuprl open logical environment. Zbl 0963.68532Allen, Stuart F.; Constable, Robert L.; Eaton, Rich; Kreitz, Christoph; Lorigo, Lori 4 2000 Types in logic, mathematics and programming. Zbl 0914.03056Constable, Robert L. 4 1998 Finding computational content in classical proofs. Zbl 0754.03040Constable, Robert; Murthy, Chet 4 1991 Implementing metamathematics as an approach to automatic theorem proving. Zbl 0704.68094Constable, R. L.; Howe, D. J. 4 1990 Constructive mathematics as a programming logic. I: Some principles of theory. Zbl 0561.68028Constable, Robert L. 4 1985 Programs as proofs: A synopsis. Zbl 0514.68043Constable, Robert L. 4 1983 Complexity of formal translations and speed-up results. Zbl 0257.68036Constable, R. L.; Hartmanis, J. 4 1971 Extracting programs from constructive HOL proofs via IZF set-theoretic semantics. Zbl 1222.68359Constable, Robert; Moczydłowski, Wojciech 3 2006 The type theory of PL/CV3. Zbl 0506.03002Constable, Robert L.; Zlatin, Daniel R. 3 1982 Extracting the resolution algorithm from a completeness proof for the propositional calculus. Zbl 1221.03015Constable, Robert; Moczydłowski, Wojciech 2 2009 Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina 2 2005 The structure of Nuprl’s type theory. Zbl 0876.03010Constable, Robert L. 2 1997 Using reflection to explain and enhance type theory. Zbl 0831.68101Constable, Robert L. 2 1995 On classes of program schemata. Zbl 0408.68019Constable, Robert L.; Gries, David 2 1977 A constructive programming logic. Zbl 0363.68029Constable, Robert L. 2 1977 Polymorphic logic. Zbl 1315.03043Bickford, Mark; Constable, Robert 1 2012 A graph-based approach towards discerning inherent structures in a digital library of formal mathematics. Zbl 1108.68595Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert 1 2004 Computational complexity and induction for partial computable functions in type theory. Zbl 1016.03044Constable, Robert L.; Crary, Karl 1 2002 Metalogical frameworks. II: Developing a reflected decision procedure. Zbl 0922.03020Aitken, William E.; Constable, Robert L.; Underwood, Judith L. 1 1999 A note on complexity measures for inductive classes in constructive type theory. Zbl 0916.03039Constable, Robert L. 1 1998 Partial functions in constructive formal theories. Zbl 0505.03027Constable, Robert L. 1 1982 The role of finite automata in the development of modern computing theory. Zbl 0468.68060Constable, Robert L. 1 1980 Subrecursive program schemata. I, II. Zbl 0354.68022Constable, Robert L.; Muchnick, Steven S. 1 1972 Subrecursive-programming languages. III: The multiple-recursive functions. Zbl 0265.68019Constable, Robert L. 1 1971 Loop schemata. Zbl 0257.68025Constable, Robert L. 1 1971 Subrecursive programming languages. II. On program size. Zbl 0218.68011Constable, R. L. 1 1971 Intuitionistic completeness of first-order logic. Zbl 1345.03114Constable, Robert; Bickford, Mark 4 2014 Polymorphic logic. Zbl 1315.03043Bickford, Mark; Constable, Robert 1 2012 Extracting the resolution algorithm from a completeness proof for the propositional calculus. Zbl 1221.03015Constable, Robert; Moczydłowski, Wojciech 2 2009 Innovations in computational type theory using Nuprl. Zbl 1107.68090Allen, S. F.; Bickford, M.; Constable, R. L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E. 7 2006 Extracting programs from constructive HOL proofs via IZF set-theoretic semantics. Zbl 1222.68359Constable, Robert; Moczydłowski, Wojciech 3 2006 Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina 2 2005 A graph-based approach towards discerning inherent structures in a digital library of formal mathematics. Zbl 1108.68595Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert 1 2004 Computational complexity and induction for partial computable functions in type theory. Zbl 1016.03044Constable, Robert L.; Crary, Karl 1 2002 Nuprl’s class theory and its applications. Zbl 0995.68014Constable, Robert L.; Hickey, Jason 4 2000 The Nuprl open logical environment. Zbl 0963.68532Allen, Stuart F.; Constable, Robert L.; Eaton, Rich; Kreitz, Christoph; Lorigo, Lori 4 2000 Metalogical frameworks. II: Developing a reflected decision procedure. Zbl 0922.03020Aitken, William E.; Constable, Robert L.; Underwood, Judith L. 1 1999 Types in logic, mathematics and programming. Zbl 0914.03056Constable, Robert L. 4 1998 A note on complexity measures for inductive classes in constructive type theory. Zbl 0916.03039Constable, Robert L. 1 1998 The structure of Nuprl’s type theory. Zbl 0876.03010Constable, Robert L. 2 1997 Using reflection to explain and enhance type theory. Zbl 0831.68101Constable, Robert L. 2 1995 Metalogical frameworks. Zbl 0922.03019Basin, David A.; Constable, Robert L. 9 1993 Computational foundations of basic recursive function theory. Zbl 0798.03046Constable, Robert L.; Smith, Scott F. 5 1993 Finding computational content in classical proofs. Zbl 0754.03040Constable, Robert; Murthy, Chet 4 1991 Implementing metamathematics as an approach to automatic theorem proving. Zbl 0704.68094Constable, R. L.; Howe, D. J. 4 1990 Proofs as programs. Zbl 0555.68003Bates, Joseph L.; Constable, Robert L. 13 1985 Recursive definitions in type theory. Zbl 0579.68019Constable, R. L.; Mendler, N. P. 9 1985 Writing programs that construct proofs. Zbl 0615.68063Constable, R. L.; Knoblock, T. B.; Bates, J. L. 5 1985 Constructive mathematics as a programming logic. I: Some principles of theory. Zbl 0561.68028Constable, Robert L. 4 1985 The type theory of PL/CV3. Zbl 0522.68020Constable, Robert L.; Zlatin, Daniel R. 5 1984 Programs as proofs: A synopsis. Zbl 0514.68043Constable, Robert L. 4 1983 An introduction to the PL/CV2 programming logic. Zbl 0496.68008Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D. 5 1982 The type theory of PL/CV3. Zbl 0506.03002Constable, Robert L.; Zlatin, Daniel R. 3 1982 Partial functions in constructive formal theories. Zbl 0505.03027Constable, Robert L. 1 1982 On the computational complexity of program scheme equivalence. Zbl 0447.68038Hunt, H. B. III; Constable, R. L.; Sahni, S. 14 1980 The role of finite automata in the development of modern computing theory. Zbl 0468.68060Constable, Robert L. 1 1980 On classes of program schemata. Zbl 0408.68019Constable, Robert L.; Gries, David 2 1977 A constructive programming logic. Zbl 0363.68029Constable, Robert L. 2 1977 Computability concepts for programming language semantics. Zbl 0352.68042Egli, Herbert; Constable, Robert L. 19 1976 Computability concepts for programming language semantics. Zbl 0359.68017Egli, Herbert; Constable, Robert L. 11 1975 Type two computational complexity. Zbl 0306.68022Constable, Robert L. 16 1973 On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 21 1972 The operator gap. Zbl 0229.68016Constable, Robert L. 14 1972 Subrecursive programming languages. I: Efficiency and program structure. Zbl 0259.68036Constable, Robert L.; Borodin, Allan B. 11 1972 Constructive mathematics and automatic program writers. Zbl 0255.68014Constable, Robert L. 7 1972 Subrecursive program schemata. I, II. Zbl 0354.68022Constable, Robert L.; Muchnick, Steven S. 1 1972 Complexity of formal translations and speed-up results. Zbl 0257.68036Constable, R. L.; Hartmanis, J. 4 1971 Subrecursive-programming languages. III: The multiple-recursive functions. Zbl 0265.68019Constable, Robert L. 1 1971 Loop schemata. Zbl 0257.68025Constable, Robert L. 1 1971 Subrecursive programming languages. II. On program size. Zbl 0218.68011Constable, R. L. 1 1971 all cited Publications top 5 cited Publications all top 5 Cited by 237 Authors 10 Constable, Robert Lee 6 Spreen, Dieter 5 Weihrauch, Klaus 4 Basin, David A. 4 Bickford, Mark 4 Ibarra, Oscar H. 4 Meseguer Guaita, José 3 Anisimov, Anatoly V. 3 Danicic, Sebastian 3 Harper, Robert 3 Hierons, Robert Mark 3 Kfoury, Assaf J. 3 Kreitz, Christoph 3 Laurence, Michael R. 3 Leininger, Brian S. 3 Meyer, Albert Ronald 3 Moczydłowski, Wojciech 3 Seiferas, Joel I. 3 Stewart, Iain A. 3 Urzyczyn, Paweł 2 Allender, Eric W. 2 Berger, Ulrich 2 Chen, Tsong Yueh 2 Coquand, Thierry 2 Hainry, Emmanuel 2 Hesse, William 2 Huet, Gerard P. 2 Hunt, Harry Bowen III 2 Ko, Ker-I 2 Lehmann, Daniel J. 2 Longo, Giuseppe 2 Matthews, Seán 2 Mix Barrington, David A. 2 Moggi, Eugenio 2 Nepeĭvoda, Nikolaĭ Nikolaevich 2 Péchoux, Romain 2 Rahli, Vincent 2 Rosenkrantz, Daniel J. 2 Smyth, Michael B. 2 Stoltenberg-Hansen, Viggo 2 Tiuryn, Jerzy 2 Young, Paul Thomas 1 Abramsky, Samson 1 Allen, Stuart F. 1 Anderson, Tor 1 Angiuli, Carlo 1 Arnold, André 1 Arratia-Quesada, Argimiro Alejandro 1 Ashcroft, Edward A. 1 Aspinall, David 1 Atkinson, Mike D. 1 Autexier, Serge 1 Ayala-Rincón, Mauricio 1 Ayari, Abdelwaheb 1 Backhouse, Roland C. 1 Barringer, Howard 1 Beeri, Catriel 1 Beeson, Michael J. 1 Bellman, Kirstie L. 1 Beltiukov, Anatoly Petrivich 1 Bel’tyukov, Anatoliĭ Petrovich 1 Benzinger, Ralph 1 Benzmüller, Christoph Ewald 1 Berarducci, Alessandro 1 Blum, Manuel 1 Böhm, Corrado 1 Bossi, Annalisa 1 Bove, Ana 1 Broy, Manfred 1 Buchholz, Wilfried 1 Caldwell, James L. 1 Calude, Cristian S. 1 Capkun, Srdjan 1 Capretta, Venanzio 1 Case, John 1 Chandra, Ashok K. 1 Chen, Shuwei 1 Cheng, Junheng 1 Cherniavsky, John C. 1 Chisholm, Paul 1 Cialdea, Marta 1 Ciraulo, Francesco 1 Clavel, Manuel 1 Coy, Wolfgang 1 Cuykendall, R. 1 Damnjanovic, Zlatan 1 David, René 1 de Boer, Frank S. 1 de Roever, Willem-Paul 1 Denney, Ewen 1 Di Paola, Robert A. 1 Dikovskii, A. Ja. 1 Drămnesc, Isabela 1 Duggan, Dominic 1 Eaton, Richard 1 Egli, Herbert 1 Farmer, William M. 1 Fehr, Elfriede 1 Felty, Amy P. 1 Férée, Hugo ...and 137 more Authors all top 5 Cited in 40 Serials 51 Theoretical Computer Science 24 Journal of Computer and System Sciences 12 Annals of Pure and Applied Logic 9 Information and Computation 7 Information Processing Letters 7 Journal of Symbolic Computation 5 Acta Informatica 5 The Journal of Symbolic Logic 3 Mathematical Systems Theory 3 MSCS. Mathematical Structures in Computer Science 3 The Journal of Logic and Algebraic Programming 2 Mathematical Notes 2 Computing 2 Journal of Soviet Mathematics 2 Cybernetics 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Applied Logic 1 Artificial Intelligence 1 Archiv für Mathematische Logik und Grundlagenforschung 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Algebra Universalis 1 BIT 1 Information Sciences 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 RAIRO, Informatique Théorique 1 Transactions of the American Mathematical Society 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Distributed Computing 1 Indagationes Mathematicae. New Series 1 Cybernetics and Systems Analysis 1 Soft Computing 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Higher-Order and Symbolic Computation 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Computer Science Review all top 5 Cited in 15 Fields 155 Computer science (68-XX) 103 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.