1![¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 ¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1](https://www.pdfsearch.io/img/cd673997e622627dfd948a1912e9d38f.jpg) | Add to Reading ListSource URL: www.nyu.eduLanguage: English - Date: 2014-11-26 15:35:09
|
---|
2![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/b67bff0a5a00098a4df9e241005c0696.jpg) | Add to Reading ListSource URL: events.cs.bham.ac.ukLanguage: English - Date: 2012-04-25 09:32:10
|
---|
3![Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2 Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2](https://www.pdfsearch.io/img/4ca8dde5c57a26976c82d83d6fb7a463.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English |
---|
4![Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1 Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1](https://www.pdfsearch.io/img/e7064c0276d0018378ae217e3d080857.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.deLanguage: English - Date: 2016-05-17 15:07:48
|
---|
5![What Is an Ontology ? Nicola Guarino1 , Daniel Oberle2 , and Steffen Staab3 1 2 What Is an Ontology ? Nicola Guarino1 , Daniel Oberle2 , and Steffen Staab3 1 2](https://www.pdfsearch.io/img/9e0bf19773e3cc8c3a8cede2b1246fea.jpg) | Add to Reading ListSource URL: iaoa.orgLanguage: English - Date: 2012-07-03 10:18:10
|
---|
6![](https://www.pdfsearch.io/img/ba355d3a9c9bd9e4ae1d47e16a526ea4.jpg) | Add to Reading ListSource URL: mally.stanford.eduLanguage: English - Date: 2016-05-24 14:40:11
|
---|
7![THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’ THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’](https://www.pdfsearch.io/img/bcf011a9742f27fc4225b4426b2572a7.jpg) | Add to Reading ListSource URL: www.pitt.eduLanguage: English - Date: 2012-03-15 14:09:14
|
---|
8![BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: A Note on Spector’s Quantifier-Free Rule of Extensionality A Note on Spector’s Quantifier-Free Rule of BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: A Note on Spector’s Quantifier-Free Rule of Extensionality A Note on Spector’s Quantifier-Free Rule of](https://www.pdfsearch.io/img/b84d0232bb1a4a0cb103a0df55f840a1.jpg) | Add to Reading ListSource URL: www.brics.dk- Date: 1999-08-18 08:43:32
|
---|
9![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/696aa89ae63763a662dbc3137debe8a0.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:49
|
---|
10![The Extensionality of Parthood and Composition Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in The Philosophical Quarterly[removed]), 108–133] Abstract. I focus on The Extensionality of Parthood and Composition Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in The Philosophical Quarterly[removed]), 108–133] Abstract. I focus on](https://www.pdfsearch.io/img/14370723536ef1d342745a9f89bcd3e2.jpg) | Add to Reading ListSource URL: www.columbia.eduLanguage: English - Date: 2009-03-31 16:31:59
|
---|