Type-In

Results: 21044



#Item
301

Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    302

    Journal of Property Research, June 2006, –133 Non-Normal Real Estate Return Distributions by Property Type in the UK M I C H A E L S . Y O U N G 1 , S T E P H E N L . L E E 2 and S TE VE N P . D E V A NE Y 2

    Add to Reading List

    Source URL: msyapps.com

    - Date: 2006-09-26 10:29:18
      303

      CS364A: Exercise Set #5 Due by the beginning of class on Wednesday, October 30, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

      Add to Reading List

      Source URL: theory.stanford.edu

      - Date: 2013-10-27 19:11:46
        304

        CS364A: Exercise Set #4 Due by the beginning of class on Wednesday, October 23, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

        Add to Reading List

        Source URL: theory.stanford.edu

        - Date: 2013-10-21 14:26:48
          305

          International Studies Quarterly, 1073–1098 Territory, River, and Maritime Claims in the Western Hemisphere: Regime Type, Rivalry, and MIDs from 1901 to 2000 David Lektzian1

          Add to Reading List

          Source URL: brandonprins.weebly.com

          - Date: 2013-08-14 18:30:25
            306

            CS364A: Exercise Set #7 Due by the beginning of class on Wednesday, November 13, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type yo

            Add to Reading List

            Source URL: theory.stanford.edu

            - Date: 2013-11-06 13:58:42
              307

              MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                308

                Formalizing type theory in type theory using nominal techniques Ulrik Buchholtz TU Darmstadt HoTT/UF Workshop, Oxford, September 9, 2017

                Add to Reading List

                Source URL: hott-uf.github.io

                - Date: 2018-03-28 14:04:14
                  309

                  A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14
                    UPDATE