L-theory

Results: 3295



#Item
21OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Oct, NEWGEN ­c hapter 20 Internationa l Re l at i ons Theory a nd C ybe r

OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Oct, NEWGEN ­c hapter 20 Internationa l Re l at i ons Theory a nd C ybe r

Add to Reading List

Source URL: www.brandonvaleriano.com

- Date: 2017-10-17 13:43:10
    22A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

    A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

    Add to Reading List

    Source URL: www.andrew.cmu.edu

    - Date: 2018-02-12 22:13:01
      23Grete Hermann: An early contributor to quantum theory C. L. Herzenberg Abstract: The life and accomplishments of Grete Hermann are described. During the early twentieth century, she worked in physics, mathematics, philos

      Grete Hermann: An early contributor to quantum theory C. L. Herzenberg Abstract: The life and accomplishments of Grete Hermann are described. During the early twentieth century, she worked in physics, mathematics, philos

      Add to Reading List

      Source URL: arxiv.org

      - Date: 2008-12-20 12:51:17
        24Exponential Speedup in U L Subsumption Checking Relative to General TBoxes for the Constructive Semantics Michael Mendler and Stephan Scheele Informatics Theory Group University of Bamberg, Germany

        Exponential Speedup in U L Subsumption Checking Relative to General TBoxes for the Constructive Semantics Michael Mendler and Stephan Scheele Informatics Theory Group University of Bamberg, Germany

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2009-07-07 04:46:34
          25CONSTRUCTING BUILDINGS AND HARMONIC MAPS LUDMIL KATZARKOV, ALEXANDER NOLL, PRANAV PANDIT, AND CARLOS SIMPSON Happy Birthday Maxim! Abstract. In a continuation of our previous work [21], we outline a theory which should l

          CONSTRUCTING BUILDINGS AND HARMONIC MAPS LUDMIL KATZARKOV, ALEXANDER NOLL, PRANAV PANDIT, AND CARLOS SIMPSON Happy Birthday Maxim! Abstract. In a continuation of our previous work [21], we outline a theory which should l

          Add to Reading List

          Source URL: www.cims.nyu.edu

          - Date: 2016-10-01 14:46:51
            26Making Category Theory Accessible Eric L. McCorkle November 16, 2016 Category Theory

            Making Category Theory Accessible Eric L. McCorkle November 16, 2016 Category Theory

            Add to Reading List

            Source URL: ericmccorkleblog.files.wordpress.com

            - Date: 2016-11-17 14:36:18
              27Type Inclusion Constraints and Type Inference Edward L. Wimmers Alexander Aiken IBM Almaden Research Center IBM Almaden Research Center 650 Harry Rd., San Jose, CA 95120

              Type Inclusion Constraints and Type Inference Edward L. Wimmers Alexander Aiken IBM Almaden Research Center IBM Almaden Research Center 650 Harry Rd., San Jose, CA 95120

              Add to Reading List

              Source URL: theory.stanford.edu

              - Date: 2014-08-19 20:12:02
                28Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

                Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

                Add to Reading List

                Source URL: pdfs.semanticscholar.org

                - Date: 2015-12-07 11:27:29
                  29What is … a topos? Z.L. Low 17 January 2013 Abstract The words ‘topos theory’ seem to strike unnecessary fear in the hearts of mathematicians. I shall try to defuse some of this apprehension by explaining what a to

                  What is … a topos? Z.L. Low 17 January 2013 Abstract The words ‘topos theory’ seem to strike unnecessary fear in the hearts of mathematicians. I shall try to defuse some of this apprehension by explaining what a to

                  Add to Reading List

                  Source URL: zll22.user.srcf.net

                  - Date: 2013-01-16 16:10:28