Journal article 1741 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
Abstract
Applications of inductive definitions and choice principles to program synthesis
| Published in: | Oxford Logic Guides |
|---|---|
| Published: |
2005
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa16458 |
| 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 |