Predicative - PDFSEARCH.IO - Document Search Engine

Predicative
Results: 38

#	Item
11	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
12	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
13	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
14	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
15	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-18 10:50:16
16	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
17	Number 5, Octoberbriefing BALTIC-C Building predicative capability regarding Add to Reading List Source URL: balticnest.org Language: English - Date: 2013-10-14 18:16:41
18	Coq à la Tarksi A predicative calculus of constructions with explicit subtyping A. Assaf1 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:20
19	Coq a` la Tarski: a predicative calculus of constructions with explicit subtyping Ali Assaf12 1 INRIA Paris-Rocquencourt, Paris, France Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:19
20	Differential Linguistics at NIST TREC. Ilya Geller Abstract. In the course of carrying out NIST TRECs I created and tested a computer program for textual information searches, based on Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:38 Information retrieval Adjective Syntax Noun Text Retrieval Conference Sentence Predicative Function Paragraph Linguistics Parts of speech Grammar

UPDATE