BibTeX records: Jan Zwanenburg

download as .bib file

@inproceedings{DBLP:conf/tphol/WiedijkZ03,
  author       = {Freek Wiedijk and
                  Jan Zwanenburg},
  editor       = {David A. Basin and
                  Burkhart Wolff},
  title        = {First Order Logic with Domain Conditions},
  booktitle    = {Theorem Proving in Higher Order Logics, 16th International Conference,
                  TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2758},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/10930755\_15},
  doi          = {10.1007/10930755\_15},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/WiedijkZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/GeuversPWZ02,
  author       = {Herman Geuvers and
                  Randy Pollack and
                  Freek Wiedijk and
                  Jan Zwanenburg},
  title        = {A Constructive Algebraic Hierarchy in Coq},
  journal      = {J. Symb. Comput.},
  volume       = {34},
  number       = {4},
  pages        = {271--286},
  year         = {2002},
  url          = {https://doi.org/10.1006/jsco.2002.0552},
  doi          = {10.1006/JSCO.2002.0552},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/GeuversPWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PollZ01,
  author       = {Erik Poll and
                  Jan Zwanenburg},
  editor       = {Andrea Corradini and
                  Marina Lenisa and
                  Ugo Montanari},
  title        = {From Algebras and Coalgebras to Dialgebras},
  booktitle    = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
                  Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {1},
  pages        = {289--307},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80915-0},
  doi          = {10.1016/S1571-0661(04)80915-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PollZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/GeuversWZ00,
  author       = {Herman Geuvers and
                  Freek Wiedijk and
                  Jan Zwanenburg},
  editor       = {Mark D. Aagaard and
                  John Harrison},
  title        = {Equational Reasoning via Partial Reflection},
  booktitle    = {Theorem Proving in Higher Order Logics, 13th International Conference,
                  TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1869},
  pages        = {162--178},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44659-1\_11},
  doi          = {10.1007/3-540-44659-1\_11},
  timestamp    = {Tue, 15 Aug 2023 09:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/GeuversWZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/GeuversWZ00,
  author       = {Herman Geuvers and
                  Freek Wiedijk and
                  Jan Zwanenburg},
  editor       = {Paul Callaghan and
                  Zhaohui Luo and
                  James McKinna and
                  Robert Pollack},
  title        = {A Constructive Proof of the Fundamental Theorem of Algebra without
                  Using the Rationals},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2000,
                  Durham, UK, December 8-12, 2000, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2277},
  pages        = {96--111},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45842-5\_7},
  doi          = {10.1007/3-540-45842-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/GeuversWZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GeuversPZ99,
  author       = {Herman Geuvers and
                  Erik Poll and
                  Jan Zwanenburg},
  editor       = {J{\"{o}}rg Flum and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Safe Proof Checking in Type Theory with {Y}},
  booktitle    = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
                  Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1683},
  pages        = {439--452},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48168-0\_31},
  doi          = {10.1007/3-540-48168-0\_31},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GeuversPZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/PollZ99,
  author       = {Erik Poll and
                  Jan Zwanenburg},
  editor       = {Jean{-}Yves Girard},
  title        = {A Logic for Abstract Data Types as Existential Types},
  booktitle    = {Typed Lambda Calculi and Applications, 4th International Conference,
                  TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1581},
  pages        = {310--324},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48959-2\_22},
  doi          = {10.1007/3-540-48959-2\_22},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/PollZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/Zwanenburg99,
  author       = {Jan Zwanenburg},
  editor       = {Jean{-}Yves Girard},
  title        = {Pure Type Systems with Subtyping},
  booktitle    = {Typed Lambda Calculi and Applications, 4th International Conference,
                  TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1581},
  pages        = {381--396},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48959-2\_27},
  doi          = {10.1007/3-540-48959-2\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/Zwanenburg99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.