Edit Profile (opens in new tab) Harper, Robert Co-Author Distance Author ID: harper.robert Published as: Harper, Robert Further Spellings: Harper, Robert William jr.; Harper, Bob Homepage: http://www.cs.cmu.edu/~rwh/ External Links: MGP · ORCID · Wikidata · ResearchGate · dblp · GND · IdRef Documents Indexed: 67 Publications since 1987, including 1 Book and 3 Additional arXiv Preprints 2 Contributions as Editor · 1 Further Contribution Software Indexed: 4 Packages Biographic References: 1 Publication Co-Authors: 61 Co-Authors with 60 Joint Publications 1,384 Co-Co-Authors all top 5 Co-Authors 10 single-authored 8 Blelloch, Guy E. 8 Crary, Karl 7 Angiuli, Carlo 7 Licata, Daniel R. 5 Hou (Favonia), Kuen-Bang 5 Pfenning, Frank 3 Sannella, Donald T. 3 Sterling, Jonathan 3 Tarlecki, Andrzej 2 Acar, Umut A. 2 Birkedal, Lars 2 Brunerie, Guillaume 2 Cavallo, Evan 2 Coquand, Thierry 2 Dreyer, Derek R. 2 Gibbons, Phillip B. 2 Grodin, Harrison 2 Lillibridge, Mark 2 Morehouse, Edward 2 Morrisett, Greg 2 Murphy, Tom VII 2 Nanevski, Aleksandar 2 Spoonhower, Daniel 2 Stone, Christopher A. 2 Tassarotti, Joseph 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Benton, Nick 1 Bertot, Yves 1 Bezem, Marc 1 Biagioni, Edoardo 1 Bordg, Anthony 1 Burch, Hal 1 Chakravarty, Manuel M. T. 1 Chang, Bor-Yuh Evan 1 Cohen, Cyril 1 Colby, Christopher 1 Constable, Robert Lee 1 Curien, Pierre-Louis 1 DeLap, Margaret 1 Dybjer, Peter 1 Finster, Eric 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Gordon, Andrew D. 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Halpern, Joseph Yehuda 1 Harrison, John R. 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Honsell, Furio 1 Hötzel Escardó, Martín 1 Immerman, Neil 1 Jeffrey, Alan S. A. 1 Joyal, André 1 Jung, Ralf 1 Kapulkin, Krzysztof 1 Keller, Gabriele Cornelia 1 Kock, Joachim 1 Kolaitis, Phokion G. 1 Kraus, Nicolai 1 Kumar, Ananya 1 Lee, Daniel K. 1 Li, Nuo 1 Licata, Dan 1 Liszka, Jason 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Mandelbaum, Yitzhak 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Miller, Gary Lee 1 Milner, Robin 1 Mitchell, John C. 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Petersen, Leaf 1 Plotkin, Gordon D. 1 Pollack, Robert 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Sewell, Peter 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas ...and 13 more Co-Authors all top 5 Serials 7 Journal of Functional Programming 3 Information Processing Letters 3 Theoretical Computer Science 3 Higher-Order and Symbolic Computation 2 ACM Transactions on Computational Logic 1 Journal of the Association for Computing Machinery 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Logic and Computation 1 Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Journal of the ACM 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science all top 5 Fields 60 Computer science (68-XX) 32 Mathematical logic and foundations (03-XX) 6 Algebraic topology (55-XX) 5 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 688 times in 532 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 261 2013 A framework for defining logics. Zbl 0778.03004 Harper, Robert; Honsell, Furio; Plotkin, Gordon 257 1993 Practical foundations for programming languages. 2nd edition. Zbl 1347.68001 Harper, Robert 35 2016 Towards a mechanized metatheory of Standard ML. Zbl 1295.68088 Lee, Daniel K.; Crary, Karl; Harper, Robert 26 2007 Computational higher-dimensional type theory. Zbl 1380.68112 Angiuli, Carlo; Harper, Robert; Wilson, Todd 23 2017 A type system for higher-order modules. Zbl 1321.68167 Dreyer, Derek; Crary, Karl; Harper, Robert 22 2003 On equivalence and canonical forms in the LF type theory. Zbl 1367.03055 Harper, Robert; Pfenning, Frank 22 2005 Mechanizing metatheory in a logical framework. Zbl 1125.68029 Harper, Robert; Licata, Daniel R. 19 2007 Structured theory presentations and logic representations. Zbl 0809.03019 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 17 1994 Syntactic logical relations for polymorphic and recursive types. Zbl 1277.68119 Crary, Karl; Harper, Robert 15 2007 A simplified account of polymorphic references. Zbl 0813.68131 Harper, Robert 14 1994 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 1541.03027 Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 14 2018 Deciding type equivalence in a language with singleton kinds. Zbl 1323.68163 Stone, Christopher A.; Harper, Robert 13 2000 2-dimensional directed type theory. Zbl 1343.03051 Licata, Daniel R.; Harper, Robert 12 2011 Extensional equivalence and singleton types. Zbl 1367.68055 Stone, Christopher A.; Harper, Robert 11 2006 Type checking with universes. Zbl 0737.68013 Harper, Robert; Pollack, Robert 10 1991 A dependently typed assembly language. Zbl 1323.68084 Xi, Hongwei; Harper, Robert 10 2001 Parametricity and variants of Girard’s \(J\) operator. Zbl 1002.68024 Harper, Robert; Mitchell, John C. 9 1999 A universe of binding and computation. Zbl 1302.68050 Licata, Daniel R.; Harper, Robert 9 2009 Structure and representation in LF. Zbl 0716.68078 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 8 1989 Dynamizing static algorithms, with applications to dynamic trees and history independence. Zbl 1318.68080 Acar, Umut A.; Blelloch, Guy E.; Harper, Robert; Vittes, Jorge L.; Woo, Shan Leung Maverick 7 2004 Relational interpretations of recursive types in an operational setting. Zbl 1045.68504 Birkedal, Lars; Harper, Robert 7 1999 Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727 Harper, Robert; Lillibridge, Mark 7 2003 Verified tail bounds for randomized programs. Zbl 1511.68342 Tassarotti, Joseph; Harper, Robert 7 2018 Adaptive functional programming. Zbl 1322.68034 Acar, Umut A.; Blelloch, Guy E.; Harper, Robert 7 2002 On the unusual effectiveness of logic in computer science. Zbl 0979.03033 Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor 7 2001 Distributed control flow with classical modal logic. Zbl 1136.68443 Murphy, Tom VII; Crary, Karl; Harper, Robert 7 2005 Syntax and models of Cartesian cubical type theory. Zbl 1529.03123 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 7 2021 Constructing type systems over an operational semantics. Zbl 0766.68088 Harper, Robert 6 1992 Proof-directed debugging. Zbl 0948.68038 Harper, Robert 6 1999 Internal parametricity for cubical type theory. Zbl 1508.03047 Cavallo, Evan; Harper, Robert 6 2021 An effective theory of type refinements. Zbl 1315.68055 Mandelbaum, Yitzhak; Walker, David; Harper, Robert 5 2003 A higher-order logic for concurrent termination-preserving refinement. Zbl 1485.68076 Tassarotti, Joseph; Jung, Ralf; Harper, Robert 5 2017 Space profiling for parallel functional programs. Zbl 1323.68162 Spoonhower, Daniel; Blelloch, Guy E.; Harper, Robert; Gibbons, Phillip B. 5 2008 Guarded computational type theory. Zbl 1453.03027 Sterling, Jonathan; Harper, Robert 5 2018 Homotopical patch theory. Zbl 1420.68060 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 5 2016 Canonicity for 2-dimensional type theory. Zbl 1321.03049 Licata, Daniel R.; Harper, Robert 4 2012 Meaning explanations at higher dimension. Zbl 1436.03102 Angiuli, Carlo; Harper, Robert 3 2018 Modular type classes. Zbl 1295.68061 Dreyer, Derek; Harper, Robert; Chakravarty, Manuel M. T.; Keller, Gabriele 3 2007 A type theory for memory allocation and data layout. Zbl 1321.68181 Petersen, Leaf; Harper, Robert; Crary, Karl; Pfenning, Frank 3 2003 Automatic generation of staged geometric predicates. Zbl 1323.68540 Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert 3 2001 Relational interpretations of recursive types in an operational setting. Zbl 0888.03016 Birkedal, Lars; Harper, Robert 3 1997 Logic representation in LF. Report on work in progress. Zbl 1496.03055 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 3 1989 Automatic generation of staged geometric predicates. Zbl 1059.68147 Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert 2 2003 A network protocol stack in standard ML. Zbl 1017.68005 Biagioni, Edoardo; Harper, Robert; Lee, Peter 2 2001 A module system for a programming language based on the LF logical framework. Zbl 0902.68031 Harper, Robert; Pfenning, Frank 2 1998 Homotopical patch theory. Zbl 1345.68093 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 2 2014 Operational interpretations of an extension of \(F_ \omega\) with control operators. Zbl 0861.68055 Harper, Robert; Lillibridge, Mark 2 1996 A note on “A simplified account of polymorphic references”. Zbl 0998.68534 Harper, Robert 2 1996 A type discipline for program modules. Zbl 0614.68010 Harper, Robert; Milner, Robin; Tofte, Mads 2 1987 Internal parametricity for cubical type theory. Zbl 07650826 Cavallo, Evan; Harper, Robert 2 2020 Persistent triangulations. Zbl 0995.68145 Blelloch, Guy; Burch, Hal; Crary, Karl; Harper, Robert; Miller, Gary; Walkington, Noel 1 2001 Typed closure conversion for recursively-defined functions. (Extended abstract). Zbl 0925.68298 Morrisett, Greg; Harper, Robert 1 1997 Space profiling for parallel functional programs. Zbl 1221.68057 Spoonhower, Daniel; Blelloch, Guy E.; Harper, Robert; Gibbons, Phillip B. 1 2010 Semantics of memory management for polymorphic languages. Zbl 0973.68137 Morrisett, Greg; Harper, Robert 1 1998 Logical relations as types: proof-relevant parametricity for program modules. Zbl 1499.68069 Sterling, Jonathan; Harper, Robert 1 2021 Syntax and models of Cartesian cubical type theory. Zbl 1529.03123 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 7 2021 Internal parametricity for cubical type theory. Zbl 1508.03047 Cavallo, Evan; Harper, Robert 6 2021 Logical relations as types: proof-relevant parametricity for program modules. Zbl 1499.68069 Sterling, Jonathan; Harper, Robert 1 2021 Internal parametricity for cubical type theory. Zbl 07650826 Cavallo, Evan; Harper, Robert 2 2020 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 1541.03027 Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 14 2018 Verified tail bounds for randomized programs. Zbl 1511.68342 Tassarotti, Joseph; Harper, Robert 7 2018 Guarded computational type theory. Zbl 1453.03027 Sterling, Jonathan; Harper, Robert 5 2018 Meaning explanations at higher dimension. Zbl 1436.03102 Angiuli, Carlo; Harper, Robert 3 2018 Computational higher-dimensional type theory. Zbl 1380.68112 Angiuli, Carlo; Harper, Robert; Wilson, Todd 23 2017 A higher-order logic for concurrent termination-preserving refinement. Zbl 1485.68076 Tassarotti, Joseph; Jung, Ralf; Harper, Robert 5 2017 Practical foundations for programming languages. 2nd edition. Zbl 1347.68001 Harper, Robert 35 2016 Homotopical patch theory. Zbl 1420.68060 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 5 2016 Homotopical patch theory. Zbl 1345.68093 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 2 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 261 2013 Canonicity for 2-dimensional type theory. Zbl 1321.03049 Licata, Daniel R.; Harper, Robert 4 2012 2-dimensional directed type theory. Zbl 1343.03051 Licata, Daniel R.; Harper, Robert 12 2011 Space profiling for parallel functional programs. Zbl 1221.68057 Spoonhower, Daniel; Blelloch, Guy E.; Harper, Robert; Gibbons, Phillip B. 1 2010 A universe of binding and computation. Zbl 1302.68050 Licata, Daniel R.; Harper, Robert 9 2009 Space profiling for parallel functional programs. Zbl 1323.68162 Spoonhower, Daniel; Blelloch, Guy E.; Harper, Robert; Gibbons, Phillip B. 5 2008 Towards a mechanized metatheory of Standard ML. Zbl 1295.68088 Lee, Daniel K.; Crary, Karl; Harper, Robert 26 2007 Mechanizing metatheory in a logical framework. Zbl 1125.68029 Harper, Robert; Licata, Daniel R. 19 2007 Syntactic logical relations for polymorphic and recursive types. Zbl 1277.68119 Crary, Karl; Harper, Robert 15 2007 Modular type classes. Zbl 1295.68061 Dreyer, Derek; Harper, Robert; Chakravarty, Manuel M. T.; Keller, Gabriele 3 2007 Extensional equivalence and singleton types. Zbl 1367.68055 Stone, Christopher A.; Harper, Robert 11 2006 On equivalence and canonical forms in the LF type theory. Zbl 1367.03055 Harper, Robert; Pfenning, Frank 22 2005 Distributed control flow with classical modal logic. Zbl 1136.68443 Murphy, Tom VII; Crary, Karl; Harper, Robert 7 2005 Dynamizing static algorithms, with applications to dynamic trees and history independence. Zbl 1318.68080 Acar, Umut A.; Blelloch, Guy E.; Harper, Robert; Vittes, Jorge L.; Woo, Shan Leung Maverick 7 2004 A type system for higher-order modules. Zbl 1321.68167 Dreyer, Derek; Crary, Karl; Harper, Robert 22 2003 Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727 Harper, Robert; Lillibridge, Mark 7 2003 An effective theory of type refinements. Zbl 1315.68055 Mandelbaum, Yitzhak; Walker, David; Harper, Robert 5 2003 A type theory for memory allocation and data layout. Zbl 1321.68181 Petersen, Leaf; Harper, Robert; Crary, Karl; Pfenning, Frank 3 2003 Automatic generation of staged geometric predicates. Zbl 1059.68147 Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert 2 2003 Adaptive functional programming. Zbl 1322.68034 Acar, Umut A.; Blelloch, Guy E.; Harper, Robert 7 2002 A dependently typed assembly language. Zbl 1323.68084 Xi, Hongwei; Harper, Robert 10 2001 On the unusual effectiveness of logic in computer science. Zbl 0979.03033 Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor 7 2001 Automatic generation of staged geometric predicates. Zbl 1323.68540 Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert 3 2001 A network protocol stack in standard ML. Zbl 1017.68005 Biagioni, Edoardo; Harper, Robert; Lee, Peter 2 2001 Persistent triangulations. Zbl 0995.68145 Blelloch, Guy; Burch, Hal; Crary, Karl; Harper, Robert; Miller, Gary; Walkington, Noel 1 2001 Deciding type equivalence in a language with singleton kinds. Zbl 1323.68163 Stone, Christopher A.; Harper, Robert 13 2000 Parametricity and variants of Girard’s \(J\) operator. Zbl 1002.68024 Harper, Robert; Mitchell, John C. 9 1999 Relational interpretations of recursive types in an operational setting. Zbl 1045.68504 Birkedal, Lars; Harper, Robert 7 1999 Proof-directed debugging. Zbl 0948.68038 Harper, Robert 6 1999 A module system for a programming language based on the LF logical framework. Zbl 0902.68031 Harper, Robert; Pfenning, Frank 2 1998 Semantics of memory management for polymorphic languages. Zbl 0973.68137 Morrisett, Greg; Harper, Robert 1 1998 Relational interpretations of recursive types in an operational setting. Zbl 0888.03016 Birkedal, Lars; Harper, Robert 3 1997 Typed closure conversion for recursively-defined functions. (Extended abstract). Zbl 0925.68298 Morrisett, Greg; Harper, Robert 1 1997 Operational interpretations of an extension of \(F_ \omega\) with control operators. Zbl 0861.68055 Harper, Robert; Lillibridge, Mark 2 1996 A note on “A simplified account of polymorphic references”. Zbl 0998.68534 Harper, Robert 2 1996 Structured theory presentations and logic representations. Zbl 0809.03019 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 17 1994 A simplified account of polymorphic references. Zbl 0813.68131 Harper, Robert 14 1994 A framework for defining logics. Zbl 0778.03004 Harper, Robert; Honsell, Furio; Plotkin, Gordon 257 1993 Constructing type systems over an operational semantics. Zbl 0766.68088 Harper, Robert 6 1992 Type checking with universes. Zbl 0737.68013 Harper, Robert; Pollack, Robert 10 1991 Structure and representation in LF. Zbl 0716.68078 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 8 1989 Logic representation in LF. Report on work in progress. Zbl 1496.03055 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 3 1989 A type discipline for program modules. Zbl 0614.68010 Harper, Robert; Milner, Robin; Tofte, Mads 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 673 Authors 28 Rabe, Florian 23 Harper, Robert 21 Pientka, Brigitte 12 Kohlhase, Michael 11 Crary, Karl 10 Birkedal, Lars 10 Miller, Dale Allen 10 Pfenning, Frank 9 Abel, Andreas M. 9 Dreyer, Derek R. 9 Felty, Amy P. 9 Honsell, Furio 8 Angiuli, Carlo 8 Miculan, Marino 8 Tarlecki, Andrzej 7 Buchholtz, Ulrik 7 Horozal, Fulya 6 Acar, Umut A. 6 Licata, Daniel R. 6 Liquori, Luigi 6 Meseguer Guaita, José 6 Momigliano, Alberto 6 Nadathur, Gopalan 6 Rossberg, Andreas 6 Roşu, Grigore 6 Sannella, Donald T. 6 Scagnetto, Ivan 5 Coquand, Thierry 5 Luo, Zhaohui 5 Schürmann, Carsten 5 Weirich, Stephanie 4 Benton, Nick 4 Cheney, James 4 Diaconescu, Răzvan 4 Dunfield, Joshua 4 Gratzer, Daniel 4 Hou (Favonia), Kuen-Bang 4 Lenisa, Marina 4 Mossakowski, Till 4 Nuyts, Andreas 4 Peyton Jones, Simon L. 4 Pitts, Andrew M. 4 Pollack, Randy 4 Pottier, François 4 Shao, Zhong 4 Sterling, Jonathan 4 Stump, Aaron 4 Thiemann, Peter J. 4 van der Weide, Niels 3 Ahrens, Benedikt 3 Barthe, Gilles 3 Basin, David A. 3 Bauer, Andrej 3 Bizjak, Aleš 3 Blanqui, Frédéric 3 Blelloch, Guy E. 3 Cave, Andrew 3 Chakravarty, Manuel M. T. 3 Ciaffaglione, Alberto 3 Constable, Robert Lee 3 Devriese, Dominique 3 Dowek, Gilles 3 Duggan, Dominic 3 Filinski, Andrzej 3 Gacek, Andrew 3 Geuvers, Jan Herman 3 Hirschowitz, André 3 Iancu, Mihnea 3 Igarashi, Atsushi 3 Keller, Gabriele Cornelia 3 Krebbers, Robbert 3 Krishnaswami, Neelakantan R. 3 Maggesi, Marco 3 Morrisett, Greg 3 Mörtberg, Anders 3 Nanevski, Aleksandar 3 Paulson, Lawrence Charles 3 Pierce, Benjamin C. 3 Popescu, Andrei 3 Pym, David J. 3 Sacerdoti Coen, Claudio 3 Siek, Jeremy G. 3 Sojakova, Kristina 3 Støvring, Kristian 3 Thamsborg, Jacob 3 Toninho, Bernardo 3 Weinberger, Jonathan Maximilian Lajos 3 Yoshida, Nobuko 2 Adams, Robin 2 Amin, Nada 2 Anderson, Penny 2 Ariola, Zena M. 2 Atkey, Robert 2 Avron, Arnon 2 Barbosa, Haniel 2 Benzmüller, Christoph Ewald 2 Bezem, Marc 2 Bonelli, Eduardo 2 Calcagno, Cristiano 2 Cervesato, Iliano ...and 573 more Authors all top 5 Cited in 54 Serials 33 Journal of Functional Programming 31 Theoretical Computer Science 31 Journal of Automated Reasoning 26 Mathematical Structures in Computer Science 21 Information and Computation 19 Logical Methods in Computer Science 9 Formal Aspects of Computing 6 Theory and Practice of Logic Programming 5 Annals of Pure and Applied Logic 5 Higher-Order and Symbolic Computation 4 Information Processing Letters 4 Journal of Computer Science and Technology 3 The Bulletin of Symbolic Logic 3 RAIRO. Theoretical Informatics and Applications 3 The Journal of Logic and Algebraic Programming 3 ACM Transactions on Computational Logic 3 Journal of Applied Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 BIT 2 Journal of Pure and Applied Algebra 2 Science of Computer Programming 2 Journal of Symbolic Computation 2 Discrete & Computational Geometry 2 Journal of Applied Non-Classical Logics 2 Logica Universalis 2 Higher Structures 1 Communications in Mathematical Physics 1 The Mathematical Intelligencer 1 ACM Transactions on Mathematical Software 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 The Journal of Symbolic Logic 1 Programming and Computer Software 1 Studia Logica 1 Synthese 1 New Generation Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Indagationes Mathematicae. New Series 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Selecta Mathematica. New Series 1 Advances in Computational Mathematics 1 Journal of the ACM 1 Sādhanā 1 Electronic Notes in Theoretical Computer Science 1 Journal of Homotopy and Related Structures 1 The Review of Symbolic Logic 1 Journal of Formalized Reasoning 1 Games 1 Frontiers of Computer Science in China 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 20 Fields 445 Computer science (68-XX) 249 Mathematical logic and foundations (03-XX) 35 Category theory; homological algebra (18-XX) 29 Algebraic topology (55-XX) 5 Numerical analysis (65-XX) 3 Combinatorics (05-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Operations research, mathematical programming (90-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.