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