Extensionality

Results: 16



#Item
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

Add to Reading List

Source URL: www.nyu.edu

Language: English - Date: 2014-11-26 15:35:09
2Type 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

Add to Reading List

Source URL: events.cs.bham.ac.uk

Language: English - Date: 2012-04-25 09:32:10
3Extensional 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

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English
4Sprinkles 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

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2016-05-17 15:07:48
    5What 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

    Add to Reading List

    Source URL: iaoa.org

    Language: English - Date: 2012-07-03 10:18:10
    6

    PDF Document

    Add to Reading List

    Source URL: mally.stanford.edu

    Language: English - Date: 2016-05-24 14:40:11
    7THE 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’

    Add to Reading List

    Source URL: www.pitt.edu

    Language: English - Date: 2012-03-15 14:09:14
      8BRICS 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

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1999-08-18 08:43:32
        9Type 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

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2012-05-03 11:20:49
        10The 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

        Add to Reading List

        Source URL: www.columbia.edu

        Language: English - Date: 2009-03-31 16:31:59