L-theory

Results: 3295



#Item
21

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
    22

    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
      23

      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
        24

        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
          25

          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
            26

            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
              27

              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
                28

                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
                  29

                  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
                    UPDATE