BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bezem:Marc

Facilitated 3 volumes:

CSL 2011Ed
CSL 1996Ed
TLCA 1993Ed

Contributed to:

TLCA 20152015
CSL 20012001
CADE 20002000
ICLP 19991999
TLCA 19951995
ICLP 19901990
NACLP 19891989
CADE 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.