Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1 .

Konferenzbeitrag

Schwichtenberg, Helmut (1986): A normal form for natural deductions in a type theory with realizing terms. Congresso Logica e Filosofia della Scienza, 07. - 11. Dezember 1983, San Gimignano, Italia. [PDF, 2MB]

Diese Liste wurde am Sun Dec 4 19:24:30 2016 CET erstellt.