| 2003 |
|---|
| 8 | EE | Freek Wiedijk,
Jan Zwanenburg:
First Order Logic with Domain Conditions.
TPHOLs 2003: 221-237 |
| 2002 |
|---|
| 7 | EE | Herman Geuvers,
Randy Pollack,
Freek Wiedijk,
Jan Zwanenburg:
A Constructive Algebraic Hierarchy in Coq.
J. Symb. Comput. 34(4): 271-286 (2002) |
| 2001 |
|---|
| 6 | EE | Erik Poll,
Jan Zwanenburg:
From Algebras and Coalgebras to Dialgebras.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 2000 |
|---|
| 5 | | Herman Geuvers,
Freek Wiedijk,
Jan Zwanenburg:
Equational Reasoning via Partial Reflection.
TPHOLs 2000: 162-178 |
| 4 | EE | Herman Geuvers,
Freek Wiedijk,
Jan Zwanenburg:
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.
TYPES 2000: 96-111 |
| 1999 |
|---|
| 3 | | Herman Geuvers,
Erik Poll,
Jan Zwanenburg:
Safe Proof Checking in Type Theory with Y.
CSL 1999: 439-452 |
| 2 | EE | Erik Poll,
Jan Zwanenburg:
A Logic for Abstract Data Types as Existential Types.
TLCA 1999: 310-324 |
| 1 | EE | Jan Zwanenburg:
Pure Type Systems with Subtyping.
TLCA 1999: 381-396 |
