No Cover Image

Book chapter 478 views

Program extraction via typed realisability for induction and coinduction / Berger, Ulrich; 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
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