Treffer 1 - 3 von 3 für Suche 'Pinyo, Gun', Suchdauer: 0,44s Treffer weiter einschränken
  1. 1
    Twisted Cubes and their Applications in Type Theory

    Twisted Cubes and their Applications in Type Theory von Pinyo, Gun

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Twisted Cubes and their Applications in Type Theory

    Twisted Cubes and their Applications in Type Theory von Pinyo, Gun

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    From Cubes to Twisted Cubes via Graph Morphisms in Type Theory

    From Cubes to Twisted Cubes via Graph Morphisms in Type Theory von Pinyo, Gun, Kraus, Nicolai

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: