Nuyts

Results: 26



#Item
1

From a conservationist’s point of view. Kris Nuyts a[1], Jean-Pierre Kruth d, Bert Lauwers d, Herman Neuckermans b, Marc Pollefeys c, Li Qiongyan d, Joris Schouteden c, Pierre Smars a, Koen Van Balen a , Luc Van Gool c

Add to Reading List

Source URL: www.cs.unc.edu

Language: English - Date: 2001-09-11 03:10:44
    2

    Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

    Add to Reading List

    Source URL: hott-uf.gforge.inria.fr

    Language: English - Date: 2016-03-10 17:41:39
      3

      Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

      Add to Reading List

      Source URL: lirias.kuleuven.be

      - Date: 2017-07-28 06:42:57
        4

        List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

        Add to Reading List

        Source URL: people.cs.kuleuven.be

        - Date: 2016-01-27 04:46:30
          5

          Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2017-07-28 06:55:52
            6

            Far West Coast MARINE PARKS Incorporating the Far West Coast and Nuyts Archipelago Marine Parks

            Add to Reading List

            Source URL: www.environment.sa.gov.au

              7

              Towards a directed HoTT based on 4 kinds of variance Andreas Nuyts Promoter: Frank Piessens Supervisors: Jesper Cockx, Dominique Devriese Dept. Computer Science, KU Leuven

              Add to Reading List

              Source URL: hott-uf.gforge.inria.fr

              Language: English - Date: 2015-07-12 13:43:04
                8

                Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

                Add to Reading List

                Source URL: hott-uf.gforge.inria.fr

                Language: English - Date: 2015-06-20 18:26:54
                  9

                  VOKA KEMPEN OOST Verslag werkgroep O & O 13 mei 2015 Aanwezig: Lieve Nevelsteen, Wim Nuyts en Theo Verschaeren Verontschuldigd: Katrien Van der Aa, Geert Sette, Fernand Vanhees, Luc Mentens 1.

                  Add to Reading List

                  Source URL: vokakempen.be

                  - Date: 2015-05-22 06:25:16
                    10

                    Geachte mevrouw Nuyts, Namens de Liberale Partij Maastricht stelde u ons op 5 december jl. twee vragen inzake raadsvoorstel; Projectbesluit Tram Vlaanderen Maastricht. Onderstaand treft u de beantwoording ter za

                    Add to Reading List

                    Source URL: www.liberalepartijmaastricht.nl

                    - Date: 2013-01-16 03:40:12
                      UPDATE