No Cover Image

Journal article 752 views

Applications of inductive definitions and choice principles to program synthesis

Ulrich Berger, Monika Seisenberger Orcid Logo

Oxford Logic Guides, Volume: 48, Pages: 137 - 148

Swansea University Author: Monika Seisenberger Orcid Logo

Published in: Oxford Logic Guides
Published: 2005
URI: https://cronfa.swan.ac.uk/Record/cronfa16458
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: From Sets and Types to Topology and Analysis Towards practicable foundations for constructive mathematics
College: Faculty of Science and Engineering
Start Page: 137
End Page: 148