Publications

Jan Zwanenburg.
8985898.
(Recreational math)
Available as Postscript and
Compressed Postscript.

H. Geuvers, F. Wiedijk and J. Zwanenburg.
Equational Reasoning via Partial Reflection.
Proceedings of TPHOL 2000 (Portland, Oregon, USA).
Available as Postscript and
Compressed Postscript.
© SpringerVerlag

Jan Zwanenburg.
ObjectOriented Concepts and Proof Rules:
Formalization in Type Theory and Implementation in Yarrow.
Ph.D. thesis, Eindhoven University of Technology, 1999.
Available as Postscript (3.5 Mb) and
Compressed Postscript (920 Kb).
Theory developed in Yarrow

Herman Geuvers, Erik Poll and Jan Zwanenburg.
Safe Proof Checking in Type Theory with Y
Proceedings of CSL'99, the 13 International Workshop on
Computer Science Logic, Madrid, Spain.
Pages 439452.
Available as Postscript and
Compressed Postscript.
© SpringerVerlag
Examples developed in Coq

Erik Poll and Jan Zwanenburg.
A Logic for Abstract Data Types as Existential Types
In TLCA'99, volume 1581 of
Lecture Notes In Computer Science,
pages 310324,
1999.
Available as Postscript and
Compressed Postscript.
© SpringerVerlag

Jan Zwanenburg.
Pure Type Systems with Subtyping
In TLCA'99, volume 1581 of
Lecture Notes In Computer Science,
pages 381396,
1999.
Available as Postscript and
Compressed Postscript.
© SpringerVerlag

Jan Zwanenburg.
Aspects of the Proofassistant Yarrow
Informal Proceedings for the workshop User Interfaces for Theorem Provers 1998,
1998.
Available as Postscript (1 Mb) and
Compressed Postscript.

Jan Zwanenburg.
The Proofassistant Yarrow
Computing Science Report CS9811, Eindhoven University of Technology, 1998.
Available as Postscript (1 Mb) and
Compressed Postscript.

Jan Zwanenburg.
A Type System for Record Concatenation and Subtyping
Technical Report to appear soon, Eindhoven University of Technology, 1997.
Available as Postscript.

Jan Zwanenburg.
A Type System for Record Concatenation and Subtyping
Extended abstract for the
FOOL III workshop.
Available as Postscript.

Jan Zwanenburg.
Record Concatenation with Intersection Types
Computing Science Report CS9534, Eindhoven University of Technology, 1995.
Available as
Postscript.
 Jan Zwanenburg.
Skeletons in Intuitionistic Propositional Logic
Master's thesis, University of Groningen.
For a copy, mail me.
Back to Jan Zwanenburgs home page
Last updated: November 5, 1999.