No Cover Image

Book chapter 1100 views

Program extraction via typed realisability for induction and coinduction

Berger, Ulrich, Monika Seisenberger Orcid Logo

Ways of Proof Theory, Pages: 157 - 181

Swansea University Author: Monika Seisenberger Orcid Logo

Published in: Ways of Proof Theory
Published: Frankfurt Ontos Verlag 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa8074
Tags: Add Tag
No Tags, Be the first to tag this record!
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