×
Author ID: bezem.marc Recent zbMATH articles by "Bezem, Marc"
Published as: Bezem, Marc
Further Spellings: Bezem, Marcus Aloysius
Homepage: http://www.ii.uib.no/~bezem/
External Links: MGP · ResearchGate
all top 5

Co-Authors

13 single-authored
14 Coquand, Thierry
5 Nieuwenhuis, Robert
3 Buchholtz, Ulrik
3 Hendriks, Dimitri
3 Rodríguez-Carbonell, Enric
3 Walicki, Michał
2 Apt, Krzysztof Rafal
2 Berardi, Stefano
2 de Nivelle, Hans
2 Dybjer, Peter
2 Grayson, Daniel Richard
2 Groote, Jan Friso
2 Hötzel Escardó, Martín
2 Huber, Simon
2 Klop, Jan Willem
2 Kraus, Nicolai
2 Langholm, Tore
2 Mahboubi, Assia
2 Shulman, Michael A.
1 Aczel, Peter
1 Ahrens, Benedikt
1 Alessi, Fabio
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Asín, Roberto
1 Avigad, Jeremy
1 Awodey, Steve
1 Bagai, Rajiv
1 Barendregt, Hendrik Pieter
1 Barendsen, Erik
1 Barras, Bruno
1 Bauer, Andrej
1 Bertot, Yves
1 Bol, Roland N.
1 Bordg, Anthony
1 Brunerie, Guillaume
1 Cagne, Pierre
1 Cardone, Felice
1 Cohen, Cyril
1 Constable, Robert Lee
1 Coppo, Mario
1 Curien, Pierre-Louis
1 de Vrijer, Roel
1 Dekkers, Wil J. M.
1 Dezani-Ciancaglini, Mariangiola
1 Dowek, Gilles
1 Finster, Eric
1 Gambino, Nicola
1 Garner, Richard
1 Ghilezan, Silvia
1 Gonthier, Georges
1 Grabmayer, Clemens
1 Hales, Thomas Callister
1 Harper, Robert
1 Herbelin, Hugo
1 Hofmann, Martin
1 Hofstra, Pieter J. W.
1 Honsell, Furio
1 Hou (Favonia), Kuen-Bang
1 Hovland, Dag
1 Janičić, Predrag
1 Joyal, André
1 Kapulkin, Krzysztof
1 Keuzenkamp, Jan
1 Kock, Joachim
1 Li, Nuo
1 Licata, Dan
1 Lumsdaine, Peter LeFanu
1 Luo, Zhaohui
1 Martin-Löf, Per
1 Melikhov, Sergey Aleksandrovich
1 Moortgat, Michael
1 Nahas, Michael
1 Nakata, Keiko
1 Narboux, Julien
1 Palmgren, Erik
1 Parmann, Erik
1 Pelayo, Alvaro
1 Polonsky, Andrew
1 Ponse, Alban
1 Riehl, Emily
1 Rijke, Egbert
1 Scott, Dana Stewart
1 Scott, Philip J.
1 Severi, Paula Gabriela
1 Sojakova, Kristina
1 Solov’ëv, Sergeĭ Vladimirovich
1 Sozeau, Matthieu
1 Spitters, Bas
1 Springintveld, Jan
1 Statman, Richard
1 Stojanović, Sana
1 Szajnkenig, Wojtek
1
1 Urzyczyn, Paweł
1 Uustalu, Tarmo
1 van Dalen, Dirk
1 Van den Berg, Benno
1 van Emden, Maarten H.
1 Van Leeuwen, Jan
...and 5 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 447 times in 384 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
129
2013
Terese. Term rewriting systems. Zbl 1030.68053
104
2003
A model of type theory in cubical sets. Zbl 1359.03009
Bezem, Marc; Coquand, Thierry; Huber, Simon
56
2014
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals. Zbl 0578.03030
Bezem, Marc
43
1985
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
30
2013
On the computational content of the axiom of choice. Zbl 0914.03059
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
28
1998
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
24
1991
Automating coherent logic. Zbl 1143.03332
Bezem, Marc; Coquand, Thierry
16
2005
Strong termination of logic programs. Zbl 0787.68016
Bezem, Marc
14
1993
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
12
2010
On the mechanization of the proof of Hessenberg’s theorem in coherent logic. Zbl 1140.03004
Bezem, Marc; Hendriks, Dimitri
11
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
11
2008
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
9
2002
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
9
1993
Expressive power of digraph solvability. Zbl 1241.03007
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał
8
2012
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
A Kripke model for simplicial sets. Zbl 1350.18020
Bezem, Marc; Coquand, Thierry
7
2015
An improved extensionality criterion for higher-order logic programs. Zbl 0999.68035
Bezem, Marc
7
2001
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
7
1998
The univalence axiom in cubical sets. Zbl 1506.03064
Bezem, Marc; Coquand, Thierry; Huber, Simon
7
2019
Non-constructivity in Kan simplicial sets. Zbl 1433.03154
Bezem, Marc; Coquand, Thierry; Parmann, Erik
6
2015
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
6
2014
Skolem machines and geometric logic. Zbl 1147.68696
Fisher, John; Bezem, Marc
5
2007
Typed lambda calculi and applications. International conference, TLCA ’93, March 16–18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
5
1993
Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324
Bezem, Marc; Coquand, Thierry
4
2003
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
4
2012
A simple proof of the undecidability of inhabitation in \(\lambda P\). Zbl 0872.68035
Bezem, Marc; Springintveld, Jan
3
1996
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
3
1997
Newman’s lemma – a case study in proof automation and geometric logic. Zbl 1063.68089
Bezem, Marc; Coquand, Thierry
3
2004
Strong normalization of barrecursive terms without using infinite terms. Zbl 0603.03017
Bezem, Marc
2
1985
Finding resource bounds in the presence of explicit deallocation. Zbl 1169.68371
Truong, Hoang; Bezem, Marc
2
2005
On the undecidability of coherent logic. Zbl 1171.03327
Bezem, Marc
2
2005
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
A type system for counting instances of software components. Zbl 1252.68201
Bezem, Marc; Hovland, Dag; Truong, Hoang
2
2012
A descriptive characterisation of even linear languages. Zbl 1055.68073
Langholm, Tore; Bezem, Marc
2
2003
A realization of the negative interpretation of the axiom of choice. Zbl 1063.03537
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
1
1995
Formulas as programs. Zbl 0945.68024
Apt, Krzysztof R.; Bezem, Marc
1
1999
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization. Zbl 0862.03004
Barendsen, Erik; Bezem, Marc
1
1996
Completeness and decidability in sequence logic. Zbl 1137.03311
Bezem, Marc; Langholm, Tore; Walicki, Michał
1
2007
Syntactic forcing models for coherent logic. Zbl 1437.03188
Bezem, Marc; Buchholtz, Ulrik; Coquand, Thierry
1
2018
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
1
2011
On downward closure ordinals of logic programs. Zbl 0699.68104
Bagai, Rajiv; Bezem, Marc; van Emden, M. H.
1
1990
Completeness of resolution revisited. Zbl 0701.68085
Bezem, Marc
1
1990
Skolem machines. Zbl 1193.68108
Fisher, John; Bezem, Marc
1
2009
Isomorphisms between HEO and \(HRO^ E\), ECF and \(ICF^ E\). Zbl 0578.03029
Bezem, Marc
1
1985
Logic programming and PROLOG. Zbl 0658.68109
Bezem, Marc
1
1988
Consistency of rule-based expert systems. Zbl 0661.68091
Bezem, Marc
1
1988
Equivalence of bar recursors in the theory of functionals of finite type. Zbl 0665.03042
Bezem, Marc
1
1988
The univalence axiom in cubical sets. Zbl 1506.03064
Bezem, Marc; Coquand, Thierry; Huber, Simon
7
2019
Syntactic forcing models for coherent logic. Zbl 1437.03188
Bezem, Marc; Buchholtz, Ulrik; Coquand, Thierry
1
2018
A Kripke model for simplicial sets. Zbl 1350.18020
Bezem, Marc; Coquand, Thierry
7
2015
Non-constructivity in Kan simplicial sets. Zbl 1433.03154
Bezem, Marc; Coquand, Thierry; Parmann, Erik
6
2015
A model of type theory in cubical sets. Zbl 1359.03009
Bezem, Marc; Coquand, Thierry; Huber, Simon
56
2014
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
6
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
129
2013
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
30
2013
Expressive power of digraph solvability. Zbl 1241.03007
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał
8
2012
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
4
2012
A type system for counting instances of software components. Zbl 1252.68201
Bezem, Marc; Hovland, Dag; Truong, Hoang
2
2012
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
1
2011
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
12
2010
Skolem machines. Zbl 1193.68108
Fisher, John; Bezem, Marc
1
2009
On the mechanization of the proof of Hessenberg’s theorem in coherent logic. Zbl 1140.03004
Bezem, Marc; Hendriks, Dimitri
11
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
11
2008
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Skolem machines and geometric logic. Zbl 1147.68696
Fisher, John; Bezem, Marc
5
2007
Completeness and decidability in sequence logic. Zbl 1137.03311
Bezem, Marc; Langholm, Tore; Walicki, Michał
1
2007
Automating coherent logic. Zbl 1143.03332
Bezem, Marc; Coquand, Thierry
16
2005
Finding resource bounds in the presence of explicit deallocation. Zbl 1169.68371
Truong, Hoang; Bezem, Marc
2
2005
On the undecidability of coherent logic. Zbl 1171.03327
Bezem, Marc
2
2005
Newman’s lemma – a case study in proof automation and geometric logic. Zbl 1063.68089
Bezem, Marc; Coquand, Thierry
3
2004
Terese. Term rewriting systems. Zbl 1030.68053
104
2003
Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324
Bezem, Marc; Coquand, Thierry
4
2003
A descriptive characterisation of even linear languages. Zbl 1055.68073
Langholm, Tore; Bezem, Marc
2
2003
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
9
2002
An improved extensionality criterion for higher-order logic programs. Zbl 0999.68035
Bezem, Marc
7
2001
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
Formulas as programs. Zbl 0945.68024
Apt, Krzysztof R.; Bezem, Marc
1
1999
On the computational content of the axiom of choice. Zbl 0914.03059
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
28
1998
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
7
1998
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
3
1997
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
A simple proof of the undecidability of inhabitation in \(\lambda P\). Zbl 0872.68035
Bezem, Marc; Springintveld, Jan
3
1996
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization. Zbl 0862.03004
Barendsen, Erik; Bezem, Marc
1
1996
A realization of the negative interpretation of the axiom of choice. Zbl 1063.03537
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
1
1995
Strong termination of logic programs. Zbl 0787.68016
Bezem, Marc
14
1993
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
9
1993
Typed lambda calculi and applications. International conference, TLCA ’93, March 16–18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
5
1993
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
24
1991
On downward closure ordinals of logic programs. Zbl 0699.68104
Bagai, Rajiv; Bezem, Marc; van Emden, M. H.
1
1990
Completeness of resolution revisited. Zbl 0701.68085
Bezem, Marc
1
1990
Logic programming and PROLOG. Zbl 0658.68109
Bezem, Marc
1
1988
Consistency of rule-based expert systems. Zbl 0661.68091
Bezem, Marc
1
1988
Equivalence of bar recursors in the theory of functionals of finite type. Zbl 0665.03042
Bezem, Marc
1
1988
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals. Zbl 0578.03030
Bezem, Marc
43
1985
Strong normalization of barrecursive terms without using infinite terms. Zbl 0603.03017
Bezem, Marc
2
1985
Isomorphisms between HEO and \(HRO^ E\), ECF and \(ICF^ E\). Zbl 0578.03029
Bezem, Marc
1
1985
all top 5

Cited by 458 Authors

14 Bezem, Marc
13 Coquand, Thierry
13 Kohlenbach, Ulrich Wilhelm
11 Oliva, Paulo
10 Escobar, Santiago
8 Meseguer Guaita, José
7 Alpuente, María
7 Gaubert, Stéphane
6 Antoy, Sergio
6 Endrullis, Jörg
6 Janičić, Predrag
6 Narboux, Julien
6 van Oostrom, Vincent
5 Allamigeon, Xavier
5 Drabent, Włodzimierz
5 Hötzel Escardó, Martín
5 Huber, Simon
5 Klop, Jan Willem
5 Lucas, Salvador
5 Rondogiannis, Panos
5 Symeonidou, Ioanna
5 Walicki, Michał
4 Angiuli, Carlo
4 Bodirsky, Manuel
4 Dinis, Bruno
4 Faggian, Claudia
4 Ferreira, Fernando
4 Ghani, Neil
4 Harper, Robert
4 Hendriks, Dimitri
4 Nordvall Forsberg, Fredrik
4 Orsanigo, Federico
4 Orton, Ian
4 Paulson, Lawrence Charles
4 Pinto, Pedro C.
4 Pitts, Andrew M.
4 Sattler, Christian
3 Ayala-Rincón, Mauricio
3 Blanqui, Frédéric
3 Buchholtz, Ulrik
3 Butkovič, Peter
3 de Nivelle, Hans
3 Dershowitz, Nachum
3 Dyckhoff, Roy
3 Geuvers, Jan Herman
3 Goubault, Eric
3 Grigor’ev, Dmitriĭ Yur’evich
3 Hernández-Cruz, César
3 Hovland, Dag
3 Katz, Ricardo David
3 Ketema, Jeroen
3 Krivine, Jean-Louis
3 Lamma, Evelina
3 Leuştean, Laurenţiu
3 Licata, Daniel R.
3 Mamino, Marcello
3 Middeldorp, Aart
3 Mörtberg, Anders
3 Pettorossi, Alberto
3 Riguzzi, Fabrizio
3 Struth, Georg
3 Uustalu, Tarmo
3 Veltri, Niccolò
2 Abramsky, Samson
2 Akama, Yohji
2 Altenkirch, Thorsten
2 Aoto, Takahito
2 Apt, Krzysztof Rafal
2 Aschieri, Federico
2 Awodey, Steve
2 Ballis, Demis
2 Barthe, Gilles
2 Benchimol, Pascal
2 Berardi, Stefano
2 Berger, Ulrich
2 Blanchette, Jasmin Christian
2 Böhme, Sascha
2 Boulier, Simon
2 Charalambidis, Angelos
2 Czajka, Łukasz
2 Dehornoy, Patrick
2 Delzanno, Giorgio
2 Devriese, Dominique
2 Durán, Francisco
2 Dyrkolbotn, Sjur Kristoffer
2 Fahrenberg, Uli
2 Falaschi, Moreno
2 Ferreira, Gilda
2 Gambino, Nicola
2 Gao, Xing
2 Gerhardy, Philipp
2 González Hermosillo de la Maza, Sebastián
2 Gramlich, Bernhard
2 Guerrieri, Giulio
2 Hanus, Michael
2 Hirokawa, Nao
2 Hou (Favonia), Kuen-Bang
2 Iborra, José
2 Jagadeesan, Radha
2 Joswig, Michael
...and 358 more Authors
all top 5

Cited in 78 Serials

31 MSCS. Mathematical Structures in Computer Science
29 Theoretical Computer Science
24 Annals of Pure and Applied Logic
17 Logical Methods in Computer Science
14 Journal of Automated Reasoning
13 Information and Computation
9 Mathematical Logic Quarterly (MLQ)
8 Theory and Practice of Logic Programming
7 The Journal of Symbolic Logic
7 Annals of Mathematics and Artificial Intelligence
5 Archive for Mathematical Logic
5 Journal of Functional Programming
5 Journal of Logical and Algebraic Methods in Programming
4 Machine Learning
3 Artificial Intelligence
3 Discrete Mathematics
3 Synthese
3 Journal of Symbolic Computation
3 Formal Aspects of Computing
3 Linear Algebra and its Applications
3 Indagationes Mathematicae. New Series
3 The Review of Symbolic Logic
2 Information Processing Letters
2 Advances in Mathematics
2 Journal of Optimization Theory and Applications
2 Notre Dame Journal of Formal Logic
2 Transactions of the American Mathematical Society
2 New Generation Computing
2 International Journal of Algebra and Computation
2 Computational Complexity
2 Journal of Logic, Language and Information
2 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Higher-Order and Symbolic Computation
2 The Journal of Logic and Algebraic Programming
2 Journal of Applied Logic
2 Higher Structures
1 Acta Informatica
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Algebra
1 Discrete Applied Mathematics
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Russian Mathematical Surveys
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Algebra Universalis
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 Numerical Functional Analysis and Optimization
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Studia Logica
1 Discrete & Computational Geometry
1 International Journal of Approximate Reasoning
1 SIAM Journal on Matrix Analysis and Applications
1 Computational Geometry
1 SIAM Review
1 Bulletin of the American Mathematical Society. New Series
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 St. Petersburg Mathematical Journal
1 Journal of Convex Analysis
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 Theory of Computing Systems
1 LMS Journal of Computation and Mathematics
1 Communications in Contemporary Mathematics
1 Journal of the Australian Mathematical Society
1 Portugaliae Mathematica. Nova Série
1 Natural Computing
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Oberwolfach Reports
1 Mathematics in Computer Science
1 Asian-European Journal of Mathematics
1 SIAM Journal on Applied Algebra and Geometry
1 Algebraic Combinatorics

Citations by Year