Logo Logo
[up] Up a level
Group by: Item Type | Date
Jump to: 1993
Number of items: 1.

1993

Schwichtenberg, Helmut (1993): Proofs as programs. In: Aczel, P.; Simmons, H. und Wainer, S.S. (eds.) : Proof Theory. Cambridge: Cambridge University Press. pp. 81-113 [PDF, 2MB]

This list was generated on Sun Nov 16 07:12:37 2025 CET.

Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton.
Imprint - Privacy Disclaimer