No Cover Image

Book chapter 377 views

Program extraction via typed realisability for induction and coinduction / Monika, Seisenberger

Ways of Proof Theory, Pages: 157 - 181

Swansea University Author: Monika, Seisenberger

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: College of Science
Start Page: 157
End Page: 181