Concepedia

Marc Bezem

MB

17

Publications

605

Citations

14

H-Index

1985

Active since

Affiliations

University of Bergen(Current)

Utrecht University

University of Gothenburg

Chalmers University of Technology

Centrum Wiskunde & Informatica

Marc Bezem is an author at University of Bergen specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFunctional AnalysisDiscrete MathematicsCombinatorial OptimizationDesignPhysicsGraph Theory

Publications per year

1985–2015

17

Publications

17

Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

Marc Bezem · Journal of Symbolic Logic · 1985 · 114 citations

Nonlinear Functional Analysis, Engineering, Majorizable Functionals +15

On the computational content of the axiom of choice

Stefano Berardi, Marc Bezem, Thierry Coquand · Journal of Symbolic Logic · 1998 · 102 citations

Computational Content, Constructive Mathematics, Non-classical Logic +13

Acyclic programs

Krzysztof R. Apt, Marc Bezem · New Generation Computing · 1991 · 89 citations

Automated Proof Construction in Type Theory Using Resolution

Marc Bezem, Dimitri Hendriks, Hans de Nivelle · Journal of Automated Reasoning · 2002 · 39 citations

A Model of Type Theory in Cubical Sets

Marc Bezem, Thierry Coquand, Simon Huber · Bergen Open Research Archive (BORA) (University of Bergen) · 2014 · 36 citations · Full text

Rows per page

1–5 of 17