Treffer 1 - 4 von 4 für Suche 'Mangin, Cyprien', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    Equations reloaded: high-level dependently-typed functional programming and proving in Coq

    Equations reloaded: high-level dependently-typed functional programming and proving in Coq von Sozeau, Matthieu, Mangin, Cyprien


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study

    Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study von Mangin, Cyprien, Sozeau, Matthieu


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Equations reloaded

    Equations reloaded von Sozeau, Matthieu, Mangin, Cyprien


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study

    Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study von Mangin, Cyprien, Sozeau, Matthieu

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: