No Cover Image

Journal article 515 views

Applications of inductive definitions and choice principles to program synthesis / Ulrich Berger; Monika Seisenberger

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

Swansea University Author: Monika, Seisenberger

Published in: Oxford Logic Guides
Published: 2005
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