Realisability and Adequacy for (Co)induction

Ulrich Berger. Realisability and Adequacy for (Co)induction. In Andrej Bauer, Peter Hertling, Ker-I Ko, editors, Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia. Volume 09003 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]

Authors

Ulrich Berger

This author has not been identified. Look up 'Ulrich Berger' in Google