Jan Zwanenburg

According to our database, Jan Zwanenburg authored at least 8 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

First Order Logic with Domain Conditions.

Freek Wiedijk, Jan Zwanenburg

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

A Constructive Algebraic Hierarchy in Coq.

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

J. Symb. Comput., 2002

2001

From Algebras and Coalgebras to Dialgebras.

Erik Poll, Jan Zwanenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.

Herman Geuvers, Freek Wiedijk, Jan Zwanenburg

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

Equational Reasoning via Partial Reflection.

Herman Geuvers, Freek Wiedijk, Jan Zwanenburg

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Pure Type Systems with Subtyping.

Jan Zwanenburg

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

A Logic for Abstract Data Types as Existential Types.

Erik Poll, Jan Zwanenburg

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Safe Proof Checking in Type Theory with Y.

Herman Geuvers, Erik Poll, Jan Zwanenburg

Proceedings of the Computer Science Logic, 13th International Workshop, 1999