No Cover Image

Journal article 434 views

Applications of inductive definitions and choice principles to program synthesis / Monika, Seisenberger

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

Swansea University Author: Monika, Seisenberger

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: College of Science
Start Page: 137
End Page: 148