×

zbMATH — the first resource for mathematics

Constable, Robert Lee

Compute Distance To:
Author ID: constable.robert-l Recent zbMATH articles by "Constable, Robert Lee"
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

Publications by Year

Citations contained in zbMATH

44 Publications have been cited 236 times in 184 Documents Cited by Year
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
21
1972
Computability concepts for programming language semantics. Zbl 0352.68042
Egli, Herbert; Constable, Robert L.
19
1976
Type two computational complexity. Zbl 0306.68022
Constable, Robert L.
16
1973
On the computational complexity of program scheme equivalence. Zbl 0447.68038
Hunt, H. B. III; Constable, R. L.; Sahni, S.
14
1980
The operator gap. Zbl 0229.68016
Constable, Robert L.
14
1972
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
13
1985
Computability concepts for programming language semantics. Zbl 0359.68017
Egli, Herbert; Constable, Robert L.
11
1975
Subrecursive programming languages. I: Efficiency and program structure. Zbl 0259.68036
Constable, Robert L.; Borodin, Allan B.
11
1972
Metalogical frameworks. Zbl 0922.03019
Basin, David A.; Constable, Robert L.
9
1993
Recursive definitions in type theory. Zbl 0579.68019
Constable, R. L.; Mendler, N. P.
9
1985
Innovations in computational type theory using Nuprl. Zbl 1107.68090
Allen, 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.68014
Constable, Robert L.
7
1972
Computational foundations of basic recursive function theory. Zbl 0798.03046
Constable, Robert L.; Smith, Scott F.
5
1993
Writing programs that construct proofs. Zbl 0615.68063
Constable, R. L.; Knoblock, T. B.; Bates, J. L.
5
1985
The type theory of PL/CV3. Zbl 0522.68020
Constable, Robert L.; Zlatin, Daniel R.
5
1984
An introduction to the PL/CV2 programming logic. Zbl 0496.68008
Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D.
5
1982
Intuitionistic completeness of first-order logic. Zbl 1345.03114
Constable, Robert; Bickford, Mark
4
2014
Nuprl’s class theory and its applications. Zbl 0995.68014
Constable, Robert L.; Hickey, Jason
4
2000
The Nuprl open logical environment. Zbl 0963.68532
Allen, Stuart F.; Constable, Robert L.; Eaton, Rich; Kreitz, Christoph; Lorigo, Lori
4
2000
Types in logic, mathematics and programming. Zbl 0914.03056
Constable, Robert L.
4
1998
Finding computational content in classical proofs. Zbl 0754.03040
Constable, Robert; Murthy, Chet
4
1991
Implementing metamathematics as an approach to automatic theorem proving. Zbl 0704.68094
Constable, R. L.; Howe, D. J.
4
1990
Constructive mathematics as a programming logic. I: Some principles of theory. Zbl 0561.68028
Constable, Robert L.
4
1985
Programs as proofs: A synopsis. Zbl 0514.68043
Constable, Robert L.
4
1983
Complexity of formal translations and speed-up results. Zbl 0257.68036
Constable, R. L.; Hartmanis, J.
4
1971
Extracting programs from constructive HOL proofs via IZF set-theoretic semantics. Zbl 1222.68359
Constable, Robert; Moczydłowski, Wojciech
3
2006
The type theory of PL/CV3. Zbl 0506.03002
Constable, Robert L.; Zlatin, Daniel R.
3
1982
Extracting the resolution algorithm from a completeness proof for the propositional calculus. Zbl 1221.03015
Constable, Robert; Moczydłowski, Wojciech
2
2009
Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491
Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina
2
2005
The structure of Nuprl’s type theory. Zbl 0876.03010
Constable, Robert L.
2
1997
Using reflection to explain and enhance type theory. Zbl 0831.68101
Constable, Robert L.
2
1995
On classes of program schemata. Zbl 0408.68019
Constable, Robert L.; Gries, David
2
1977
A constructive programming logic. Zbl 0363.68029
Constable, Robert L.
2
1977
Polymorphic logic. Zbl 1315.03043
Bickford, Mark; Constable, Robert
1
2012
A graph-based approach towards discerning inherent structures in a digital library of formal mathematics. Zbl 1108.68595
Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert
1
2004
Computational complexity and induction for partial computable functions in type theory. Zbl 1016.03044
Constable, Robert L.; Crary, Karl
1
2002
Metalogical frameworks. II: Developing a reflected decision procedure. Zbl 0922.03020
Aitken, William E.; Constable, Robert L.; Underwood, Judith L.
1
1999
A note on complexity measures for inductive classes in constructive type theory. Zbl 0916.03039
Constable, Robert L.
1
1998
Partial functions in constructive formal theories. Zbl 0505.03027
Constable, Robert L.
1
1982
The role of finite automata in the development of modern computing theory. Zbl 0468.68060
Constable, Robert L.
1
1980
Subrecursive program schemata. I, II. Zbl 0354.68022
Constable, Robert L.; Muchnick, Steven S.
1
1972
Subrecursive-programming languages. III: The multiple-recursive functions. Zbl 0265.68019
Constable, Robert L.
1
1971
Loop schemata. Zbl 0257.68025
Constable, Robert L.
1
1971
Subrecursive programming languages. II. On program size. Zbl 0218.68011
Constable, R. L.
1
1971
Intuitionistic completeness of first-order logic. Zbl 1345.03114
Constable, Robert; Bickford, Mark
4
2014
Polymorphic logic. Zbl 1315.03043
Bickford, Mark; Constable, Robert
1
2012
Extracting the resolution algorithm from a completeness proof for the propositional calculus. Zbl 1221.03015
Constable, Robert; Moczydłowski, Wojciech
2
2009
Innovations in computational type theory using Nuprl. Zbl 1107.68090
Allen, 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.68359
Constable, Robert; Moczydłowski, Wojciech
3
2006
Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491
Bickford, 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.68595
Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert
1
2004
Computational complexity and induction for partial computable functions in type theory. Zbl 1016.03044
Constable, Robert L.; Crary, Karl
1
2002
Nuprl’s class theory and its applications. Zbl 0995.68014
Constable, Robert L.; Hickey, Jason
4
2000
The Nuprl open logical environment. Zbl 0963.68532
Allen, Stuart F.; Constable, Robert L.; Eaton, Rich; Kreitz, Christoph; Lorigo, Lori
4
2000
Metalogical frameworks. II: Developing a reflected decision procedure. Zbl 0922.03020
Aitken, William E.; Constable, Robert L.; Underwood, Judith L.
1
1999
Types in logic, mathematics and programming. Zbl 0914.03056
Constable, Robert L.
4
1998
A note on complexity measures for inductive classes in constructive type theory. Zbl 0916.03039
Constable, Robert L.
1
1998
The structure of Nuprl’s type theory. Zbl 0876.03010
Constable, Robert L.
2
1997
Using reflection to explain and enhance type theory. Zbl 0831.68101
Constable, Robert L.
2
1995
Metalogical frameworks. Zbl 0922.03019
Basin, David A.; Constable, Robert L.
9
1993
Computational foundations of basic recursive function theory. Zbl 0798.03046
Constable, Robert L.; Smith, Scott F.
5
1993
Finding computational content in classical proofs. Zbl 0754.03040
Constable, Robert; Murthy, Chet
4
1991
Implementing metamathematics as an approach to automatic theorem proving. Zbl 0704.68094
Constable, R. L.; Howe, D. J.
4
1990
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
13
1985
Recursive definitions in type theory. Zbl 0579.68019
Constable, R. L.; Mendler, N. P.
9
1985
Writing programs that construct proofs. Zbl 0615.68063
Constable, R. L.; Knoblock, T. B.; Bates, J. L.
5
1985
Constructive mathematics as a programming logic. I: Some principles of theory. Zbl 0561.68028
Constable, Robert L.
4
1985
The type theory of PL/CV3. Zbl 0522.68020
Constable, Robert L.; Zlatin, Daniel R.
5
1984
Programs as proofs: A synopsis. Zbl 0514.68043
Constable, Robert L.
4
1983
An introduction to the PL/CV2 programming logic. Zbl 0496.68008
Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D.
5
1982
The type theory of PL/CV3. Zbl 0506.03002
Constable, Robert L.; Zlatin, Daniel R.
3
1982
Partial functions in constructive formal theories. Zbl 0505.03027
Constable, Robert L.
1
1982
On the computational complexity of program scheme equivalence. Zbl 0447.68038
Hunt, H. B. III; Constable, R. L.; Sahni, S.
14
1980
The role of finite automata in the development of modern computing theory. Zbl 0468.68060
Constable, Robert L.
1
1980
On classes of program schemata. Zbl 0408.68019
Constable, Robert L.; Gries, David
2
1977
A constructive programming logic. Zbl 0363.68029
Constable, Robert L.
2
1977
Computability concepts for programming language semantics. Zbl 0352.68042
Egli, Herbert; Constable, Robert L.
19
1976
Computability concepts for programming language semantics. Zbl 0359.68017
Egli, Herbert; Constable, Robert L.
11
1975
Type two computational complexity. Zbl 0306.68022
Constable, Robert L.
16
1973
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
21
1972
The operator gap. Zbl 0229.68016
Constable, Robert L.
14
1972
Subrecursive programming languages. I: Efficiency and program structure. Zbl 0259.68036
Constable, Robert L.; Borodin, Allan B.
11
1972
Constructive mathematics and automatic program writers. Zbl 0255.68014
Constable, Robert L.
7
1972
Subrecursive program schemata. I, II. Zbl 0354.68022
Constable, Robert L.; Muchnick, Steven S.
1
1972
Complexity of formal translations and speed-up results. Zbl 0257.68036
Constable, R. L.; Hartmanis, J.
4
1971
Subrecursive-programming languages. III: The multiple-recursive functions. Zbl 0265.68019
Constable, Robert L.
1
1971
Loop schemata. Zbl 0257.68025
Constable, Robert L.
1
1971
Subrecursive programming languages. II. On program size. Zbl 0218.68011
Constable, R. L.
1
1971
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

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.