No Cover Image

Book chapter 353 views

Program extraction via typed realisability for induction and coinduction. / Ulrich, Berger

Series in Mathematical Logic., Pages: 157 - 181

Swansea University Author: Ulrich, Berger

Published in: Series in Mathematical Logic.
Published: Frankfurt Ontos Verlag 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa8008
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In: Ralf Schindler, editor, Ways of Proof Theory. OntosSeries in Mathematical Logic. Ontos Verlag, Frankfurt, 2010, pp. 157--181.
College: College of Science
Start Page: 157
End Page: 181