No Cover Image

Book chapter 801 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
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