Book chapter 1810 views
Program extraction via typed realisability for induction and coinduction
Berger, Ulrich,
Monika Seisenberger 
Ways of Proof Theory, Pages: 157 - 181
Swansea University Author:
Monika Seisenberger
Abstract
Program extraction via typed realisability for induction and coinduction
| Published in: | Ways of Proof Theory |
|---|---|
| Published: |
Frankfurt
Ontos Verlag
2010
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa8074 |
| Item Description: |
In: Ralf Schindler, editor, Ways of Proof Theory. Ontos Series in Mathematical Logic. Ontos Verlag, Frankfurt, 2010, pp. 157--181. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
157 |
| End Page: |
181 |