Programming in Martin-Lof’s Type Theory: An Introduction (1990)

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert

Name *

E-Mail *

Website

Kommentar *

Meinen Namen, meine E-Mail-Adresse und meine Website in diesem Browser für die nächste Kommentierung speichern.