Suchergebnisse - Berardi, Stefano

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    On the computational content of the Axiom of Choice
    von Berardi, Stefano, Bezem, Marc, Coquand, Thierry 1961-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    26th International Conference on Types for Proofs and Programs: TYPES 2020, March 2–5, 2020, University of Turin, Italy

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Berardi, Stefano …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

    Veröffentlicht 2008
    Weitere beteiligte Personen: “… Berardi, Stefano …”
    Buch


    Gespeichert in:

Suchwerkzeuge: