Jan Zwanenburg

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Freek Wiedijk, Jan Zwanenburg
First Order Logic with Domain Conditions. TPHOLs (2003)
Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
A Constructive Algebraic Hierarchy in Coq. J. Symb. Comput. 34 (4) (2002)
Erik Poll, Jan Zwanenburg
From Algebras and Coalgebras to Dialgebras. CMCS (2001)
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. TYPES (2000)
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
Equational Reasoning via Partial Reflection. TPHOLs (2000)
Erik Poll, Jan Zwanenburg
A Logic for Abstract Data Types as Existential Types. TLCA (1999)
Herman Geuvers, Erik Poll, Jan Zwanenburg
Safe Proof Checking in Type Theory with Y. CSL (1999)
Jan Zwanenburg
Pure Type Systems with Subtyping. TLCA (1999)