Treffer 1 - 4 von 4 für Suche 'Sozeau, M', Suchdauer: 0,34s Treffer weiter einschränken
  1. 1
    Extending Type Theory with Forcing

    Extending Type Theory with Forcing von Jaber, G., Tabareau, N., Sozeau, M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Types Are Internal ∞-Groupoids

    Types Are Internal ∞-Groupoids von Finster, E, Allioux, A, Sozeau, M

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Equations: A Dependent Pattern-Matching Compiler

    Equations: A Dependent Pattern-Matching Compiler von Sozeau, Matthieu


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    P343 - Amélioration de la prise en charge globale de l’adolescent traité pour un cancer

    P343 - Amélioration de la prise en charge globale de l’adolescent traité pour un cancer von Sozeau, C., Domaison, S., Dore, E., Kanold, J., Deméocq, F.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: