Moerdijk - PDFSEARCH.IO - Document Search Engine

Moerdijk
Results: 82

#	Item
1	Onderzoek naar de luchtkwaliteit aan de Julianastraat te Moerdijk, Kerkweg te Klundert en Atletiekbaan De D Knip te Zevenbergen. bergen. Rapport, 10 april 2014 Add to Reading List Source URL: s3.eu-central-1.amazonaws.com Language: Dutch - Date: 2018-04-17 03:48:35
2	Moritz Groth Curriculum Vitae Education and Positions 2014–2015 Postdoc, Max Planck Institute for Mathematics, Bonn, Germany. 2011–2014 Postdoc of Prof. Moerdijk, Radboud Universiteit, Nijmegen, Netherlands. Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2014-04-24 09:50:09
3	W-types in sheaves Benno van den Berg & Ieke Moerdijk September 25, 2008 Abstract In this small note we give a concrete description of W-types in categories of sheaves. Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
4	FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and Proofs Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-07 16:07:58
5	Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg & Ieke Moerdijk 7 Dec, Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
6	Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
7	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
8	Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
9	A Unified Approach to Algebraic Set Theory Benno van den Berg ∗ Ieke Moerdijk† Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
10	Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg∗ & Ieke Moerdijk† September 29, 2011 Abstract Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:29:16

UPDATE