Logo Logo
Help
Contact
Switch Language to German

Schwichtenberg, Helmut (1986): A normal form for natural deductions in a type theory with realizing terms. In: Abrusci, V.M. and Casari, E. (eds.) : Atti del Congresso Logica e Filosofia della Scienza. Vol. 1. Bologna: CLUEB. pp. 95-138 [PDF, 2MB]

[thumbnail of 4284.pdf]
Preview
Download (2MB)

Actions (login required)

View Item View Item