`Travelled to:`

1 × France

1 × Israel

1 × Poland

1 × United Kingdom

4 × USA

`Collaborated with:`

∅ T.Coquand K.R.Apt E.Parmann D.Hendriks H.d.Nivelle S.Berardi

`Talks about:`

program (4) logic (3) extension (2) construct (2) type (2) interpret (1) criterion (1) character (1) simplici (1) resolut (1)

## Person: Marc Bezem

### DBLP: Bezem:Marc

### Facilitated 3 volumes:

### Contributed to:

### Wrote 8 papers:

- TLCA-2015-BezemCP #set
- Non-Constructivity in Kan Simplicial Sets (MB, TC, EP), pp. 92–106.
- CSL-2001-Bezem #higher-order #logic programming #source code
- An Improved Extensionality Criterion for Higher-Order Logic Programs (MB), pp. 203–216.
- CADE-2000-BezemHN #automation #proving #type system #using
- Automated Proof Construction in Type Theory Using Resolution (MB, DH, HdN), pp. 148–163.
- ICLP-1999-Bezem #logic programming #source code
- Extensionality of Simply Typed Logic Programs (MB), pp. 395–410.
- TLCA-1995-BerardiBC #axiom
- A realization of the negative interpretation of the Axiom of Choice (SB, MB, TC), pp. 47–62.
- CLP-1990-AptB90 #source code
- Acyclic Programs (KRA, MB), pp. 617–633.
- NACLP-1989-Bezem #logic programming #source code #termination
- Characterizing Termination of Logic Programs with Level Mappings (MB), pp. 69–80.
- CADE-1988-Bezem #consistency #rule-based
- Consistency of Rule-based Expert System (MB), pp. 151–161.