Gambino

Results: 61



#Item
1

Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2013-05-09 12:23:34
    2

    Testing Strategies For Bridging Time-To-Content In Spoken Dialogue Systems Soledad L´opez Gambino, Sina Zarrieß and David Schlangen Abstract What should dialogue systems do while looking for information or planning the

    Add to Reading List

    Source URL: www.colips.org

    Language: English - Date: 2018-04-25 22:27:29
      3

      PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf mod

      Add to Reading List

      Source URL: www1.maths.leeds.ac.uk

      Language: English - Date: 2013-05-09 12:24:31
        4

        Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2015-09-28 09:04:32
          5

          Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo MALOA Worskhop

          Add to Reading List

          Source URL: www1.maths.leeds.ac.uk

          Language: English - Date: 2013-05-09 12:23:04
            6

            An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

            Add to Reading List

            Source URL: www1.maths.leeds.ac.uk

            Language: English - Date: 2013-05-09 12:23:24
              7

              Lecture 2: Homotopical Algebra Nicola Gambino School of Mathematics University of Leeds Young Set Theory

              Add to Reading List

              Source URL: www1.maths.leeds.ac.uk

              Language: English - Date: 2016-06-15 05:44:27
                8

                Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo

                Add to Reading List

                Source URL: www1.maths.leeds.ac.uk

                Language: Italian - Date: 2013-05-09 12:23:29
                  9

                  Polynomial functors and polynomial monads Nicola Gambino July 13th, 2009 Example

                  Add to Reading List

                  Source URL: www1.maths.leeds.ac.uk

                  Language: English - Date: 2013-05-09 12:23:02
                    10

                    Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds

                    Add to Reading List

                    Source URL: www1.maths.leeds.ac.uk

                    Language: English - Date: 2016-12-12 10:03:11
                      UPDATE