Book chapter 1561 views
Program extraction via typed realisability for induction and coinduction.
Ulrich Berger,
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 |