Yves Girard - Wissenschaftliche Veröffentlichungen

(1 - 8 von 9

)

dblp: Jean-Yves Girard

dblp.org

List of computer science publications by Jean-Yves Girard

Jean-Yves Girard : Wörterbuch / Dictionary …

dict.tu-chemnitz.de

Jean-Yves Girard : German - English translations and synonyms (BEOLINGUS Online dictionary, TU Chemnitz)

Jean-Yves Girard dblpdblp.org › Persons

dblp.org

Girard01. Jean-Yves Girard: Locus Solum: From the Rules of Logic to the Logic of Rules.

Jonas Oberhauser: Bachelor Thesis

www.ps.uni-saarland.de

Jean-Yves Girard. "Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur". PhD thesis. PhD thesis, Universit e Paris VII, Jean-Yves Girard. "The system F of variable types, fifteen years later". In: Theoretical computer science 45 …

Resources - Universität des Saarlandes

courses.ps.uni-saarland.de

Jean-Yves Girard, Proofs and Types. Cambridge University Press, Dag Prawitz, Natural Deduction, a Proof-theoretical Study. Dover Publications, (first published 1965) The Univalent Foundations Program Homotopy Type Theory. Institute for Advanced Study, Princeton, M.H. Sorensen and P. Urzyczyn, Lectures on the Curry-Howard ...

Semantics: Literature

www.ps.uni-saarland.de

Jean-Yves Girard, Proofs and Types. Translated and with appendices by Paul Taylor and Yves Lafont, Cambridge University Press, Benjamin C. Pierce ...

Kommentiertes Vorlesungsverzeichnis

www.mathematik.uni-muenchen.de

Literatur: Klaus Bohn: Die Mathematik der deutschen Privaten Krankenversicherung, aus der Schriftenreihe Angewandte Versicherungsmathematik, Verlag Versicherungswirtschaft e.V ...

Verwandte Suchanfragen zu Yves Girard

Paul Taylor
Sonja Thomas

Personen
Vorname "Yves" (3989)
Name "Girard" (346)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Yves Girard