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.
  © Springer-Verlag
  
• Jan Zwanenburg. Object-Oriented 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 439--452.
  Available as Postscript and Compressed Postscript.
  © Springer-Verlag
  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 310-324, 1999.
  Available as Postscript and Compressed Postscript.
  © Springer-Verlag
• Jan Zwanenburg. Pure Type Systems with Subtyping
  In TLCA'99, volume 1581 of Lecture Notes In Computer Science, pages 381-396, 1999.
  Available as Postscript and Compressed Postscript.
  © Springer-Verlag
• Jan Zwanenburg. Aspects of the Proof-assistant Yarrow
  Informal Proceedings for the workshop User Interfaces for Theorem Provers 1998, 1998.
  Available as Postscript (1 Mb) and Compressed Postscript.
• Jan Zwanenburg. The Proof-assistant Yarrow
  Computing Science Report CS-98-11, 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 CS-95-34, 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.