Author

Profile picture
Ulrich Berger
Swansea University
Swansea, United Kingdom
1 article by this author
Sort by:
Realisability for Induction and Coinduction ...
Research Article
Realisability for Induction and Coinduction with Applications to Constructive Analysis
Ulrich Berger
10.3217/jucs-016-18-2535
 28-09-2010
 Unique: 1180 | Total: 1438
 2535-2555
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK