Logo
DeutschClear Cookie - decide language by browser settings
Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, No. 30: pp. 405-408
[img]
Preview

PDF

209kB