Author

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

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

OK