Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, Nr. 30: S. 405-408
[img]
Vorschau

PDF

209kB