×
Compute Distance To:
Author ID: hofmann.martin.1 Recent zbMATH articles by "Hofmann, Martin"
Published as: Hofmann, Martin; Hofmann, M.
Homepage: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
Documents Indexed: 80 Publications since 1995, including 2 Books
7 Contributions as Editor · 1 Further Contribution
Biographic References: 3 Publications
Co-Authors: 55 Co-Authors with 67 Joint Publications
1,084 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 Melikhov, Sergey Aleksandrovich
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ł
...and 6 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 558 times in 337 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
68
2013
The groupoid interpretation of type theory. Zbl 0930.03089
Hofmann, Martin; Streicher, Thomas
47
1998
Syntax and semantics of dependent types. Zbl 0919.68083
Hofmann, Martin
42
1997
Static prediction of heap space usage for first-order functional programs. Zbl 1321.68180
Hofmann, Martin; Jost, Steffen
32
2003
Linear types and non-size-increasing polynomial time computation. Zbl 1054.68065
Hofmann, Martin
27
2003
Multivariate amortized resource analysis. Zbl 1284.68132
Hoffmann, Jan; Aehlig, Klaus; Hofmann, Martin
23
2011
On the interpretation of type theory in locally Cartesian closed categories. Zbl 1044.03544
Hofmann, Martin
23
1995
Safe recursion with higher types and BCK-algebra. Zbl 0959.68075
Hofmann, Martin
19
2000
A proof system for the linear time \(\mu \)-calculus. Zbl 1163.03308
Dax, Christian; Hofmann, Martin; Lange, Martin
14
2006
Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs. Zbl 1260.68074
Hoffmann, Jan; Hofmann, Martin
13
2010
A new method for establishing conservativity of classical systems over their intuitionistic version. Zbl 0935.03069
Coquand, Thierry; Hofmann, Martin
13
1999
A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion. Zbl 0908.03022
Hofmann, Martin
11
1998
On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196
Hofmann, Martin; Sannella, Donald
11
1996
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
9
2005
Extensional constructs in intensional type theory. Zbl 1411.03001
Hofmann, Martin
9
1997
Type-based amortised heap-space analysis. Zbl 1178.68143
Hofmann, Martin; Jost, Steffen
9
2006
Sound and complete axiomatisations of call-by-value control operators. Zbl 0846.68066
Hofmann, Martin
8
1995
A program logic for resources. Zbl 1133.68010
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
8
2007
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
Nominal renaming sets. Zbl 1182.03065
Gabbay, Murdoch J.; Hofmann, Martin
8
2008
On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070
Escardó, Martín; Hofmann, Martin; Streicher, Thomas
7
2004
The strength of non-size increasing computation. Zbl 1323.68213
Hofmann, Martin
7
2002
Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039
Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin
7
2010
Symmetric lenses. Zbl 1284.18009
Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel
7
2011
Realizability models for BLL-like languages. Zbl 1047.03049
Hofmann, M.; Scott, P. J.
7
2004
Conservativity of equality reflection over intensional type theory. Zbl 1434.03038
Hofmann, Martin
6
1996
Revisiting the categorical interpretation of dependent type theory. Zbl 1433.03029
Curien, Pierre-Louis; Garner, Richard; Hofmann, Martin
6
2014
Quantitative models and implicit complexity. Zbl 1172.68477
Dal Lago, Ugo; Hofmann, Martin
6
2005
Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356
Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart
6
2006
Completeness of continuation models for \(\lambda_\mu\)-calculus. Zbl 1096.03011
Hofmann, Martin; Streicher, Thomas
6
2002
Abstract effects and proof-relevant logical relations. Zbl 1284.68371
Benton, Nick; Hofmann, Martin; Nigam, Vivek
6
2014
Realizability models and implicit complexity. Zbl 1222.03065
Dal Lago, Ugo; Hofmann, Martin
5
2011
A new “feasible” arithmetic. Zbl 1006.03035
Bellantoni, Stephen; Hofmann, Martin
5
2002
Positive subtyping. Zbl 0853.68125
Hofmann, Martin; Pierce, Benjamin C.
5
1996
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
5
2004
On monadic parametricity of second-order functionals. Zbl 1260.68071
Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr
4
2013
A type system for bounded space and functional in-place update. (Extended abstract). Zbl 0964.68027
Hofmann, Martin
4
2000
A type system for bounded space and functional in-place update. Zbl 0971.68023
Hofmann, Martin
4
2000
Amortised resource analysis and typed polynomial interpretations. Zbl 1416.68093
Hofmann, Martin; Moser, Georg
4
2014
Bounded linear logic, revisited. Zbl 1211.03089
Dal Lago, Ugo; Hofmann, Martin
3
2009
Efficient type-checking for amortised heap-space analysis. Zbl 1257.68051
Hofmann, Martin; Rodriguez, Dulma
3
2009
Automatic type inference for amortised heap-space analysis. Zbl 1381.68041
Hofmann, Martin; Rodriguez, Dulma
3
2013
A type system with usage aspects. Zbl 1142.68019
Aspinall, David; Hofmann, Martin; Konečný, Michal
3
2008
Verifying pointer and string analyses with region type systems. Zbl 1253.68092
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin
2
2010
Automata theory and logic. (Automatentheorie und Logik.) Zbl 1257.68003
Hofmann, Martin; Lange, Martin
2
2011
Certification using the Mobius base logic. Zbl 1209.68121
Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela
2
2008
Semantics of linear/modal lambda calculus. Zbl 0965.68011
Hofmann, Martin
2
1999
Implementing a program logic of objects in a higher-order logic theorem prover. Zbl 0974.68185
Hofmann, Martin; Tang, Francis
2
2000
A simple model for quotient types. Zbl 1063.68602
Hofmann, Martin
2
1995
A program logic for resource verification. Zbl 1099.68584
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
2
2004
Pure pointer programs with iteration. Zbl 1351.68101
Hofmann, Martin; Schöpp, Ulrich
2
2010
A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169
Dal Lago, Ugo; Hofmann, Martin
2
2010
What is a pure functional? Zbl 1288.68037
Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut
2
2010
Abstract interpretation from Büchi automata. Zbl 1401.68162
Hofmann, Martin; Chen, Wei
2
2014
Multivariate amortised resource analysis for term rewrite systems. Zbl 1367.68138
Hofmann, Martin; Moser, Georg
2
2015
Bounded linear logic, revisited. Zbl 1211.03090
Dal Lago, Ugo; Hofmann, Martin
2
2010
Certification for \(\mu \)-calculus with winning strategies. Zbl 1354.68174
Hofmann, Martin; Neukirchen, Christian; Rueß, Harald
1
2016
Pure pointer programs and tree isomorphism. Zbl 1260.68099
Hofmann, Martin; Ramyaa, Ramyaa; Schöpp, Ulrich
1
2013
Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Zbl 1213.68041
1
2011
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. Zbl 0931.03058
Hofmann, Martin
1
1997
Decidable inequalities over infinite trees. Zbl 1415.68059
Bauer, Sabine; Jost, Steffen; Hofmann, Martin
1
2018
Edit lenses. Zbl 1321.68154
Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel
1
2012
Verifying a local generic solver in Coq. Zbl 1306.68029
Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut
1
2010
Well-foundedness in realizability. Zbl 1112.03058
Hofmann, M.; van Oosten, J.; Streicher, T.
1
2006
A bytecode logic for JML and types. Zbl 1168.68357
Beringer, Lennart; Hofmann, Martin
1
2006
Proof-relevant logical relations for name generation. Zbl 1459.68041
Benton, Nick; Hofmann, Martin; Nigam, Vivek
1
2018
A Cartesian-closed category for higher-order model checking. Zbl 1460.68061
Hofmann, Martin; Ledent, Jérémy
1
2017
Decidable inequalities over infinite trees. Zbl 1415.68059
Bauer, Sabine; Jost, Steffen; Hofmann, Martin
1
2018
Proof-relevant logical relations for name generation. Zbl 1459.68041
Benton, Nick; Hofmann, Martin; Nigam, Vivek
1
2018
A Cartesian-closed category for higher-order model checking. Zbl 1460.68061
Hofmann, Martin; Ledent, Jérémy
1
2017
Certification for \(\mu \)-calculus with winning strategies. Zbl 1354.68174
Hofmann, Martin; Neukirchen, Christian; Rueß, Harald
1
2016
Multivariate amortised resource analysis for term rewrite systems. Zbl 1367.68138
Hofmann, Martin; Moser, Georg
2
2015
Revisiting the categorical interpretation of dependent type theory. Zbl 1433.03029
Curien, Pierre-Louis; Garner, Richard; Hofmann, Martin
6
2014
Abstract effects and proof-relevant logical relations. Zbl 1284.68371
Benton, Nick; Hofmann, Martin; Nigam, Vivek
6
2014
Amortised resource analysis and typed polynomial interpretations. Zbl 1416.68093
Hofmann, Martin; Moser, Georg
4
2014
Abstract interpretation from Büchi automata. Zbl 1401.68162
Hofmann, Martin; Chen, Wei
2
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
68
2013
On monadic parametricity of second-order functionals. Zbl 1260.68071
Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr
4
2013
Automatic type inference for amortised heap-space analysis. Zbl 1381.68041
Hofmann, Martin; Rodriguez, Dulma
3
2013
Pure pointer programs and tree isomorphism. Zbl 1260.68099
Hofmann, Martin; Ramyaa, Ramyaa; Schöpp, Ulrich
1
2013
Edit lenses. Zbl 1321.68154
Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel
1
2012
Multivariate amortized resource analysis. Zbl 1284.68132
Hoffmann, Jan; Aehlig, Klaus; Hofmann, Martin
23
2011
Symmetric lenses. Zbl 1284.18009
Hofmann, Martin; Pierce, Benjamin; Wagner, Daniel
7
2011
Realizability models and implicit complexity. Zbl 1222.03065
Dal Lago, Ugo; Hofmann, Martin
5
2011
Automata theory and logic. (Automatentheorie und Logik.) Zbl 1257.68003
Hofmann, Martin; Lange, Martin
2
2011
Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Zbl 1213.68041
1
2011
Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs. Zbl 1260.68074
Hoffmann, Jan; Hofmann, Martin
13
2010
Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039
Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin
7
2010
Verifying pointer and string analyses with region type systems. Zbl 1253.68092
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin
2
2010
Pure pointer programs with iteration. Zbl 1351.68101
Hofmann, Martin; Schöpp, Ulrich
2
2010
A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169
Dal Lago, Ugo; Hofmann, Martin
2
2010
What is a pure functional? Zbl 1288.68037
Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut
2
2010
Bounded linear logic, revisited. Zbl 1211.03090
Dal Lago, Ugo; Hofmann, Martin
2
2010
Verifying a local generic solver in Coq. Zbl 1306.68029
Hofmann, Martin; Karbyshev, Aleksandr; Seidl, Helmut
1
2010
Bounded linear logic, revisited. Zbl 1211.03089
Dal Lago, Ugo; Hofmann, Martin
3
2009
Efficient type-checking for amortised heap-space analysis. Zbl 1257.68051
Hofmann, Martin; Rodriguez, Dulma
3
2009
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
Nominal renaming sets. Zbl 1182.03065
Gabbay, Murdoch J.; Hofmann, Martin
8
2008
A type system with usage aspects. Zbl 1142.68019
Aspinall, David; Hofmann, Martin; Konečný, Michal
3
2008
Certification using the Mobius base logic. Zbl 1209.68121
Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela
2
2008
A program logic for resources. Zbl 1133.68010
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto
8
2007
A proof system for the linear time \(\mu \)-calculus. Zbl 1163.03308
Dax, Christian; Hofmann, Martin; Lange, Martin
14
2006
Type-based amortised heap-space analysis. Zbl 1178.68143
Hofmann, Martin; Jost, Steffen
9
2006
Reading, writing and relations. Towards extensional semantics for effect analyses. Zbl 1168.68356
Benton, Nick; Kennedy, Andrew; Hofmann, Martin; Beringer, Lennart
6
2006
Well-foundedness in realizability. Zbl 1112.03058
Hofmann, M.; van Oosten, J.; Streicher, T.
1
2006
A bytecode logic for JML and types. Zbl 1168.68357
Beringer, Lennart; Hofmann, Martin
1
2006
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
9
2005
Quantitative models and implicit complexity. Zbl 1172.68477
Dal Lago, Ugo; Hofmann, Martin
6
2005
On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070
Escardó, Martín; Hofmann, Martin; Streicher, Thomas
7
2004
Realizability models for BLL-like languages. Zbl 1047.03049
Hofmann, M.; Scott, P. J.
7
2004
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
5
2004
A program logic for resource verification. Zbl 1099.68584
Aspinall, 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.68180
Hofmann, Martin; Jost, Steffen
32
2003
Linear types and non-size-increasing polynomial time computation. Zbl 1054.68065
Hofmann, Martin
27
2003
The strength of non-size increasing computation. Zbl 1323.68213
Hofmann, Martin
7
2002
Completeness of continuation models for \(\lambda_\mu\)-calculus. Zbl 1096.03011
Hofmann, Martin; Streicher, Thomas
6
2002
A new “feasible” arithmetic. Zbl 1006.03035
Bellantoni, Stephen; Hofmann, Martin
5
2002
Safe recursion with higher types and BCK-algebra. Zbl 0959.68075
Hofmann, Martin
19
2000
A type system for bounded space and functional in-place update. (Extended abstract). Zbl 0964.68027
Hofmann, Martin
4
2000
A type system for bounded space and functional in-place update. Zbl 0971.68023
Hofmann, Martin
4
2000
Implementing a program logic of objects in a higher-order logic theorem prover. Zbl 0974.68185
Hofmann, Martin; Tang, Francis
2
2000
A new method for establishing conservativity of classical systems over their intuitionistic version. Zbl 0935.03069
Coquand, Thierry; Hofmann, Martin
13
1999
Semantics of linear/modal lambda calculus. Zbl 0965.68011
Hofmann, Martin
2
1999
The groupoid interpretation of type theory. Zbl 0930.03089
Hofmann, Martin; Streicher, Thomas
47
1998
A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion. Zbl 0908.03022
Hofmann, Martin
11
1998
Syntax and semantics of dependent types. Zbl 0919.68083
Hofmann, Martin
42
1997
Extensional constructs in intensional type theory. Zbl 1411.03001
Hofmann, Martin
9
1997
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. Zbl 0931.03058
Hofmann, Martin
1
1997
On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196
Hofmann, Martin; Sannella, Donald
11
1996
Conservativity of equality reflection over intensional type theory. Zbl 1434.03038
Hofmann, Martin
6
1996
Positive subtyping. Zbl 0853.68125
Hofmann, Martin; Pierce, Benjamin C.
5
1996
On the interpretation of type theory in locally Cartesian closed categories. Zbl 1044.03544
Hofmann, Martin
23
1995
Sound and complete axiomatisations of call-by-value control operators. Zbl 0846.68066
Hofmann, Martin
8
1995
A simple model for quotient types. Zbl 1063.68602
Hofmann, Martin
2
1995
all top 5

Cited by 480 Authors

19 Hofmann, Martin
12 Dal Lago, Ugo
11 Baillot, Patrick
9 Coquand, Thierry
7 Albert, Elvira
7 Palmgren, Erik
6 Beringer, Lennart
6 Birkedal, Lars
6 Hennicker, Rolf
6 Hötzel Escardó, Martín
6 Lumsdaine, Peter LeFanu
6 Sattler, Christian
5 Altenkirch, Thorsten
5 Awodey, Steve
5 Dybjer, Peter
5 Pitts, Andrew M.
5 Zhang, Yu
4 Avigad, Jeremy
4 Bidoit, Michel
4 Gabbay, Murdoch James
4 Garner, Richard
4 Genaim, Samir
4 Huber, Simon
4 Moerdijk, Ieke
4 Peña, Ricardo
4 Streicher, Thomas
4 Van den Berg, Benno
4 Warren, Michael Alton
3 Ariola, Zena M.
3 Aspinall, David
3 Berger, Ulrich
3 Emmenegger, Jacopo
3 Florido, Mário
3 Ghani, Neil
3 Ghyselen, Alexis
3 Giesl, Jürgen
3 Hähnle, Reiner
3 Hainry, Emmanuel
3 Harper, Robert
3 Herbelin, Hugo
3 Hofstra, Pieter J. W.
3 Marcial-Romero, José Raymundo
3 Møgelberg, Rasmus Ejlers
3 Montenegro, Manuel
3 Moser, Georg
3 Nowak, David E.
3 Orton, Ian
3 Péchoux, Romain
3 Plotkin, Gordon D.
3 Puebla, Germán
3 Redmond, Brian F.
3 Rosolini, Giuseppe
3 Schwichtenberg, Helmut
3 Segura, Clara
3 Seidl, Helmut
3 Spitters, Bas
3 Studer, Thomas
3 Tabareau, Nicolas
3 Uustalu, Tarmo
3 Vogler, Ralf
2 Abramsky, Samson
2 Ahrens, Benedikt
2 Alves, Sandra
2 Angiuli, Carlo
2 Arenas, Puri
2 Aubert, Clément
2 Avanzini, Martin
2 Barbanera, Franco
2 Bellantoni, Stephen J.
2 Benton, Nick
2 Bezem, Marc
2 Bizjak, Aleš
2 Boulier, Simon
2 Brunel, Aloïs
2 Cantini, Andrea
2 Clairambault, Pierre
2 Clarke, Bryce
2 Clouston, Ranald A.
2 Cockett, Robin
2 Danner, Norman
2 de’Liguoro, Ugo
2 Fernández, Maribel
2 Frohn, Florian
2 Gaboardi, Marco
2 Gambino, Nicola
2 Ghica, Dan R.
2 Gratzer, Daniel
2 Halimi, Brice
2 Hensel, Jera
2 Hernest, Mircea-Dan
2 Hovland, Dag
2 Jaber, Guilhem
2 Jagadeesan, Radha
2 Japaridze, Giorgi
2 Kaposi, Ambrus
2 Kapulkin, Krzysztof
2 Kock, Joachim
2 Konečný, Michal
2 Lange, Martin
2 Licata, Daniel R.
...and 380 more Authors
all top 5

Cited in 41 Serials

45 Theoretical Computer Science
23 Annals of Pure and Applied Logic
21 Information and Computation
18 MSCS. Mathematical Structures in Computer Science
15 Logical Methods in Computer Science
12 Journal of Automated Reasoning
10 Journal of Functional Programming
7 The Journal of Symbolic Logic
5 The Journal of Logic and Algebraic Programming
4 Journal of Pure and Applied Algebra
4 Archive for Mathematical Logic
4 Journal of Applied Logic
4 Journal of Logical and Algebraic Methods in Programming
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
1 Forum of Mathematics, Sigma

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.