Logo Logo
Hilfe
Hilfe
Switch Language to English

Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, Nr. 30: S. 405-408 [PDF, 209kB]

[thumbnail of 22.pdf]
Vorschau
Download (209kB)
Dokument bearbeiten Dokument bearbeiten