Edit Profile (opens in new tab) Hofmann, Martin Compute Distance To: Compute Author ID: hofmann.martin.1 Published as: Hofmann, Martin; Hofmann, M. Homepage: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann External Links: MGP · Wikidata · Google Scholar · dblp · GND Documents Indexed: 80 Publications since 1995, including 2 Books 7 Contributions as Editor · 1 Further Contribution Biographic References: 1 Publication Co-Authors: 53 Co-Authors with 65 Joint Publications 1,064 Co-Co-Authors all top 5 Co-Authors 20 single-authored 8 Beringer, Lennart 6 Dal Lago, Ugo 5 Aspinall, David 5 Benton, Nick 4 Jost, Steffen 4 Loidl, Hans-Wolfgang 4 Nigam, Vivek 4 Pierce, Benjamin C. 4 Streicher, Thomas 3 Karbyshev, Aleksandr 3 Momigliano, Alberto 3 Rodriguez, Dulma 3 Schöpp, Ulrich 2 Aehlig, Klaus 2 Bauer, Andrej 2 Bauer, Sabine 2 Coquand, Thierry 2 Curien, Pierre-Louis 2 Garner, Richard 2 Grabowski, Robert 2 Hoffmann, Jan-Philipp 2 Hötzel Escardó, Martín 2 Kennedy, Andrew J. 2 Lange, Martin 2 Moser, Georg 2 Ramyaa, Ramyaa 2 Scott, Philip J. 2 Seidl, Helmut 2 Wagner, Daniel 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Barth, Stephan 1 Bellantoni, Stephen J. 1 Berger, Ulrich 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Campbell, Brian A. 1 Cohen, Cyril 1 Constable, Robert Lee 1 Dax, Christian 1 Dybjer, Peter 1 Finster, Eric 1 Gabbay, Murdoch James 1 Gambino, Nicola 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Hammond, Kevin 1 Harper, Robert 1 Hasegawa, Masahito 1 Herbelin, Hugo 1 Hofstra, Pieter J. W. 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Chris 1 Kock, Joachim 1 Konečný, Michal 1 Kraus, Nicolai 1 Ledent, Jérémy 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Nahas, Michael 1 Neukirchen, Christian 1 Palmgren, Erik 1 Pavlova, Mariela 1 Pavlović, Duško 1 Pelayo, Alvaro 1 Plotkin, Gordon D. 1 Polonsky, Andrew 1 Rauschmayer, Axel 1 Riehl, Emily 1 Rijke, Egbert 1 Rosolini, Giuseppe 1 Rueß, Harald 1 Sannella, Donald T. 1 Schwichtenberg, Helmut 1 Scott, Dana Stewart 1 Shkaravska, Olha 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 Stark, Ian 1 Stevens, Perdita 1 Tang, Francis C. Y. 1 1 Urzyczyn, Paweł 1 Van den Berg, Benno ...and 5 more Co-Authors all top 5 Serials 8 Theoretical Computer Science 4 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 3 Lecture Notes in Computer Science 2 Journal of Functional Programming 2 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 Nordic Journal of Computing 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science 1 Distinguished Dissertations all top 5 Fields 75 Computer science (68-XX) 40 Mathematical logic and foundations (03-XX) 9 Category theory; homological algebra (18-XX) 7 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Algebraic topology (55-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 65 Publications have been cited 510 times in 307 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 61 2013 The groupoid interpretation of type theory. Zbl 0930.03089Hofmann, Martin; Streicher, Thomas 43 1998 Syntax and semantics of dependent types. Zbl 0919.68083Hofmann, Martin 38 1997 Static prediction of heap space usage for first-order functional programs. Zbl 1321.68180Hofmann, Martin; Jost, Steffen 29 2003 Linear types and non-size-increasing polynomial time computation. Zbl 1054.68065Hofmann, Martin 23 2003 On the interpretation of type theory in locally Cartesian closed categories. Zbl 1044.03544Hofmann, Martin 22 1995 Safe recursion with higher types and BCK-algebra. Zbl 0959.68075Hofmann, Martin 19 2000 Multivariate amortized resource analysis. Zbl 1284.68132Hoffmann, Jan; Aehlig, Klaus; Hofmann, Martin 19 2011 A proof system for the linear time \(\mu \)-calculus. Zbl 1163.03308Dax, Christian; Hofmann, Martin; Lange, Martin 12 2006 A new method for establishing conservativity of classical systems over their intuitionistic version. Zbl 0935.03069Coquand, Thierry; Hofmann, Martin 12 1999 Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs. Zbl 1260.68074Hoffmann, Jan; Hofmann, Martin 11 2010 On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196Hofmann, Martin; Sannella, Donald 11 1996 A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion. Zbl 0908.03022Hofmann, Martin 10 1998 Type-based amortised heap-space analysis. Zbl 1178.68143Hofmann, Martin; Jost, Steffen 9 2006 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 9 2005 Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon 8 2008 Nominal renaming sets. Zbl 1182.03065Gabbay, Murdoch J.; Hofmann, Martin 8 2008 Extensional constructs in intensional type theory. Zbl 1411.03001Hofmann, Martin 8 1997 Sound and complete axiomatisations of call-by-value control operators. Zbl 0846.68066Hofmann, Martin 8 1995 A program logic for resources. Zbl 1133.68010Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 8 2007 Realizability models for BLL-like languages. Zbl 1047.03049Hofmann, M.; Scott, P. J. 7 2004 The strength of non-size increasing computation. Zbl 1323.68213Hofmann, Martin 7 2002 On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070Escardó, Martín; Hofmann, Martin; Streicher, Thomas 7 2004 Completeness of continuation models for \(\lambda_\mu\)-calculus. Zbl 1096.03011Hofmann, Martin; Streicher, Thomas 6 2002 Quantitative models and implicit complexity. Zbl 1172.68477Dal Lago, Ugo; Hofmann, Martin 6 2005 Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart 6 2006 Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin 6 2010 Abstract effects and proof-relevant logical relations. Zbl 1284.68371Benton, Nick; Hofmann, Martin; Nigam, Vivek 6 2014 Symmetric lenses. Zbl 1284.18009Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel 6 2011 A new “feasible” arithmetic. Zbl 1006.03035Bellantoni, Stephen; Hofmann, Martin 5 2002 Positive subtyping. Zbl 0853.68125Hofmann, Martin; Pierce, Benjamin C. 5 1996 Revisiting the categorical interpretation of dependent type theory. Zbl 1433.03029Curien, Pierre-Louis; Garner, Richard; Hofmann, Martin 5 2014 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 4 2000 Realizability models and implicit complexity. Zbl 1222.03065Dal Lago, Ugo; Hofmann, Martin 4 2011 An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut 4 2004 Conservativity of equality reflection over intensional type theory. Zbl 1434.03038Hofmann, Martin 4 1996 A type system for bounded space and functional in-place update. (Extended abstract). Zbl 0964.68027Hofmann, Martin 4 2000 Bounded linear logic, revisited. Zbl 1211.03089Dal Lago, Ugo; Hofmann, Martin 3 2009 On monadic parametricity of second-order functionals. Zbl 1260.68071Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr 3 2013 Efficient type-checking for amortised heap-space analysis. Zbl 1257.68051Hofmann, Martin; Rodriguez, Dulma 3 2009 A type system with usage aspects. Zbl 1142.68019Aspinall, David; Hofmann, Martin; Konečný, Michal 3 2008 Amortised resource analysis and typed polynomial interpretations. Zbl 1416.68093Hofmann, Martin; Moser, Georg 3 2014 Bounded linear logic, revisited. Zbl 1211.03090Dal Lago, Ugo; Hofmann, Martin 2 2010 Verifying pointer and string analyses with region type systems. Zbl 1253.68092Beringer, Lennart; Grabowski, Robert; Hofmann, Martin 2 2010 What is a pure functional? Zbl 1288.68037Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut 2 2010 Automata theory and logic. (Automatentheorie und Logik.) Zbl 1257.68003Hofmann, Martin; Lange, Martin 2 2011 Automatic type inference for amortised heap-space analysis. Zbl 1381.68041Hofmann, Martin; Rodriguez, Dulma 2 2013 A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169Dal Lago, Ugo; Hofmann, Martin 2 2010 Semantics of linear/modal lambda calculus. Zbl 0965.68011Hofmann, Martin 2 1999 A simple model for quotient types. Zbl 1063.68602Hofmann, Martin 2 1995 A program logic for resource verification. Zbl 1099.68584Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 2 2004 Certification using the Mobius base logic. Zbl 1209.68121Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela 2 2008 Implementing a program logic of objects in a higher-order logic theorem prover. Zbl 0974.68185Hofmann, Martin; Tang, Francis 2 2000 Abstract interpretation from Büchi automata. Zbl 1401.68162Hofmann, Martin; Chen, Wei 2 2014 Verifying a local generic solver in Coq. Zbl 1306.68029Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut 1 2010 Pure pointer programs and tree isomorphism. Zbl 1260.68099Hofmann, Martin; Ramyaa, Ramyaa; Schöpp, Ulrich 1 2013 Multivariate amortised resource analysis for term rewrite systems. Zbl 1367.68138Hofmann, Martin; Moser, Georg 1 2015 Well-foundedness in realizability. Zbl 1112.03058Hofmann, M.; van Oosten, J.; Streicher, T. 1 2006 A bytecode logic for JML and types. Zbl 1168.68357Beringer, Lennart; Hofmann, Martin 1 2006 Edit lenses. Zbl 1321.68154Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel 1 2012 Pure pointer programs with iteration. Zbl 1351.68101Hofmann, Martin; Schöpp, Ulrich 1 2010 Certification for \(\mu \)-calculus with winning strategies. Zbl 1354.68174Hofmann, Martin; Neukirchen, Christian; Rueß, Harald 1 2016 An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. Zbl 0931.03058Hofmann, Martin 1 1997 A Cartesian-closed category for higher-order model checking. Zbl 1460.68061Hofmann, Martin; Ledent, Jérémy 1 2017 Proof-relevant logical relations for name generation. Zbl 1459.68041Benton, Nick; Hofmann, Martin; Nigam, Vivek 1 2018 Proof-relevant logical relations for name generation. Zbl 1459.68041Benton, Nick; Hofmann, Martin; Nigam, Vivek 1 2018 A Cartesian-closed category for higher-order model checking. Zbl 1460.68061Hofmann, Martin; Ledent, Jérémy 1 2017 Certification for \(\mu \)-calculus with winning strategies. Zbl 1354.68174Hofmann, Martin; Neukirchen, Christian; Rueß, Harald 1 2016 Multivariate amortised resource analysis for term rewrite systems. Zbl 1367.68138Hofmann, Martin; Moser, Georg 1 2015 Abstract effects and proof-relevant logical relations. Zbl 1284.68371Benton, Nick; Hofmann, Martin; Nigam, Vivek 6 2014 Revisiting the categorical interpretation of dependent type theory. Zbl 1433.03029Curien, Pierre-Louis; Garner, Richard; Hofmann, Martin 5 2014 Amortised resource analysis and typed polynomial interpretations. Zbl 1416.68093Hofmann, Martin; Moser, Georg 3 2014 Abstract interpretation from Büchi automata. Zbl 1401.68162Hofmann, Martin; Chen, Wei 2 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 61 2013 On monadic parametricity of second-order functionals. Zbl 1260.68071Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr 3 2013 Automatic type inference for amortised heap-space analysis. Zbl 1381.68041Hofmann, Martin; Rodriguez, Dulma 2 2013 Pure pointer programs and tree isomorphism. Zbl 1260.68099Hofmann, Martin; Ramyaa, Ramyaa; Schöpp, Ulrich 1 2013 Edit lenses. Zbl 1321.68154Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel 1 2012 Multivariate amortized resource analysis. Zbl 1284.68132Hoffmann, Jan; Aehlig, Klaus; Hofmann, Martin 19 2011 Symmetric lenses. Zbl 1284.18009Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel 6 2011 Realizability models and implicit complexity. Zbl 1222.03065Dal Lago, Ugo; Hofmann, Martin 4 2011 Automata theory and logic. (Automatentheorie und Logik.) Zbl 1257.68003Hofmann, Martin; Lange, Martin 2 2011 Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs. Zbl 1260.68074Hoffmann, Jan; Hofmann, Martin 11 2010 Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin 6 2010 Bounded linear logic, revisited. Zbl 1211.03090Dal Lago, Ugo; Hofmann, Martin 2 2010 Verifying pointer and string analyses with region type systems. Zbl 1253.68092Beringer, Lennart; Grabowski, Robert; Hofmann, Martin 2 2010 What is a pure functional? Zbl 1288.68037Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut 2 2010 A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169Dal Lago, Ugo; Hofmann, Martin 2 2010 Verifying a local generic solver in Coq. Zbl 1306.68029Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut 1 2010 Pure pointer programs with iteration. Zbl 1351.68101Hofmann, Martin; Schöpp, Ulrich 1 2010 Bounded linear logic, revisited. Zbl 1211.03089Dal Lago, Ugo; Hofmann, Martin 3 2009 Efficient type-checking for amortised heap-space analysis. Zbl 1257.68051Hofmann, Martin; Rodriguez, Dulma 3 2009 Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon 8 2008 Nominal renaming sets. Zbl 1182.03065Gabbay, Murdoch J.; Hofmann, Martin 8 2008 A type system with usage aspects. Zbl 1142.68019Aspinall, David; Hofmann, Martin; Konečný, Michal 3 2008 Certification using the Mobius base logic. Zbl 1209.68121Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela 2 2008 A program logic for resources. Zbl 1133.68010Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 8 2007 A proof system for the linear time \(\mu \)-calculus. Zbl 1163.03308Dax, Christian; Hofmann, Martin; Lange, Martin 12 2006 Type-based amortised heap-space analysis. Zbl 1178.68143Hofmann, Martin; Jost, Steffen 9 2006 Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart 6 2006 Well-foundedness in realizability. Zbl 1112.03058Hofmann, M.; van Oosten, J.; Streicher, T. 1 2006 A bytecode logic for JML and types. Zbl 1168.68357Beringer, Lennart; Hofmann, Martin 1 2006 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 9 2005 Quantitative models and implicit complexity. Zbl 1172.68477Dal Lago, Ugo; Hofmann, Martin 6 2005 Realizability models for BLL-like languages. Zbl 1047.03049Hofmann, M.; Scott, P. J. 7 2004 On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070Escardó, Martín; Hofmann, Martin; Streicher, Thomas 7 2004 An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut 4 2004 A program logic for resource verification. Zbl 1099.68584Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto 2 2004 Static prediction of heap space usage for first-order functional programs. Zbl 1321.68180Hofmann, Martin; Jost, Steffen 29 2003 Linear types and non-size-increasing polynomial time computation. Zbl 1054.68065Hofmann, Martin 23 2003 The strength of non-size increasing computation. Zbl 1323.68213Hofmann, Martin 7 2002 Completeness of continuation models for \(\lambda_\mu\)-calculus. Zbl 1096.03011Hofmann, Martin; Streicher, Thomas 6 2002 A new “feasible” arithmetic. Zbl 1006.03035Bellantoni, Stephen; Hofmann, Martin 5 2002 Safe recursion with higher types and BCK-algebra. Zbl 0959.68075Hofmann, Martin 19 2000 A type system for bounded space and functional in-place update. Zbl 0971.68023Hofmann, Martin 4 2000 A type system for bounded space and functional in-place update. (Extended abstract). Zbl 0964.68027Hofmann, Martin 4 2000 Implementing a program logic of objects in a higher-order logic theorem prover. Zbl 0974.68185Hofmann, Martin; Tang, Francis 2 2000 A new method for establishing conservativity of classical systems over their intuitionistic version. Zbl 0935.03069Coquand, Thierry; Hofmann, Martin 12 1999 Semantics of linear/modal lambda calculus. Zbl 0965.68011Hofmann, Martin 2 1999 The groupoid interpretation of type theory. Zbl 0930.03089Hofmann, Martin; Streicher, Thomas 43 1998 A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion. Zbl 0908.03022Hofmann, Martin 10 1998 Syntax and semantics of dependent types. Zbl 0919.68083Hofmann, Martin 38 1997 Extensional constructs in intensional type theory. Zbl 1411.03001Hofmann, Martin 8 1997 An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. Zbl 0931.03058Hofmann, Martin 1 1997 On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196Hofmann, Martin; Sannella, Donald 11 1996 Positive subtyping. Zbl 0853.68125Hofmann, Martin; Pierce, Benjamin C. 5 1996 Conservativity of equality reflection over intensional type theory. Zbl 1434.03038Hofmann, Martin 4 1996 On the interpretation of type theory in locally Cartesian closed categories. Zbl 1044.03544Hofmann, Martin 22 1995 Sound and complete axiomatisations of call-by-value control operators. Zbl 0846.68066Hofmann, Martin 8 1995 A simple model for quotient types. Zbl 1063.68602Hofmann, Martin 2 1995 all cited Publications top 5 cited Publications all top 5 Cited by 446 Authors 18 Hofmann, Martin 12 Dal Lago, Ugo 10 Baillot, Patrick 7 Albert, Elvira 7 Palmgren, Erik 6 Beringer, Lennart 6 Coquand, Thierry 6 Hennicker, Rolf 6 Lumsdaine, Peter LeFanu 5 Awodey, Steve 5 Birkedal, Lars 5 Hötzel Escardó, Martín 5 Pitts, Andrew M. 5 Zhang, Yu 4 Avigad, Jeremy 4 Bidoit, Michel 4 Dybjer, Peter 4 Gabbay, Murdoch James 4 Garner, Richard 4 Genaim, Samir 4 Peña, Ricardo 4 Warren, Michael Alton 3 Altenkirch, Thorsten 3 Ariola, Zena M. 3 Aspinall, David 3 Berger, Ulrich 3 Florido, Mário 3 Giesl, Jürgen 3 Hähnle, Reiner 3 Harper, Robert 3 Herbelin, Hugo 3 Hofstra, Pieter J. W. 3 Marcial-Romero, José Raymundo 3 Moerdijk, Ieke 3 Møgelberg, Rasmus Ejlers 3 Montenegro, Manuel 3 Nowak, David E. 3 Orton, Ian 3 Plotkin, Gordon D. 3 Puebla, Germán 3 Redmond, Brian F. 3 Schwichtenberg, Helmut 3 Segura, Clara 3 Streicher, Thomas 3 Studer, Thomas 3 Tabareau, Nicolas 3 Van den Berg, Benno 2 Abramsky, Samson 2 Ahrens, Benedikt 2 Alves, Sandra 2 Arenas, Puri 2 Aubert, Clément 2 Avanzini, Martin 2 Barbanera, Franco 2 Bellantoni, Stephen J. 2 Benton, Nick 2 Boulier, Simon 2 Brunel, Aloïs 2 Cantini, Andrea 2 Clairambault, Pierre 2 Clarke, Bryce 2 Cockett, Robin 2 de’Liguoro, Ugo 2 Emmenegger, Jacopo 2 Fernández, Maribel 2 Frohn, Florian 2 Gaboardi, Marco 2 Ghani, Neil 2 Ghica, Dan R. 2 Ghyselen, Alexis 2 Hainry, Emmanuel 2 Halimi, Brice 2 Hensel, Jera 2 Hernest, Mircea-Dan 2 Hovland, Dag 2 Huber, Simon 2 Jaber, Guilhem 2 Jagadeesan, Radha 2 Japaridze, Giorgi 2 Kapulkin, Krzysztof 2 Kock, Joachim 2 Lange, Martin 2 Mackie, Ian 2 Madeira, Alexandre 2 Martins, Manuel António 2 Matthes, Ralph 2 Moser, Georg 2 Moshier, M. Andrew 2 Moyen, Jean-Yves 2 Murawski, Andrzej S. 2 Nigam, Vivek 2 Niggl, Karl-Heinz 2 Péchoux, Romain 2 Power, John 2 Reddy, Uday S. 2 Rosolini, Giuseppe 2 Saabas, Ando 2 Sabry, Amr 2 Sannella, Donald T. 2 Sattler, Christian ...and 346 more Authors all top 5 Cited in 40 Serials 44 Theoretical Computer Science 23 Annals of Pure and Applied Logic 21 Information and Computation 14 Logical Methods in Computer Science 12 MSCS. Mathematical Structures in Computer Science 11 Journal of Automated Reasoning 8 Journal of Functional Programming 6 The Journal of Symbolic Logic 5 The Journal of Logic and Algebraic Programming 4 Archive for Mathematical Logic 4 Journal of Applied Logic 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Pure and Applied Algebra 3 Formal Aspects of Computing 3 Indagationes Mathematicae. New Series 3 The Bulletin of Symbolic Logic 3 Theory and Applications of Categories 3 Theory of Computing Systems 3 Higher-Order and Symbolic Computation 3 ACM Transactions on Computational Logic 2 Studia Logica 2 Synthese 2 Science of Computer Programming 2 Formal Methods in System Design 2 Theory and Practice of Logic Programming 2 Computer Languages, Systems & Structures 1 Information Processing Letters 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Mathematische Annalen 1 Forum Mathematicum 1 Bulletin of the American Mathematical Society. New Series 1 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Mathematical Logic Quarterly (MLQ) 1 Journal of the European Mathematical Society (JEMS) 1 RAIRO. Theoretical Informatics and Applications 1 Concurrency and Computation: Practice & Experience 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Logica Universalis 1 Journal of Homotopy and Related Structures all top 5 Cited in 21 Fields 220 Computer science (68-XX) 170 Mathematical logic and foundations (03-XX) 62 Category theory; homological algebra (18-XX) 22 Algebraic topology (55-XX) 8 Information and communication theory, circuits (94-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Quantum theory (81-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 3 Operations research, mathematical programming (90-XX) 2 Group theory and generalizations (20-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 \(K\)-theory (19-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-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.