Realisability and adequacy for (co)induction (2009)

by U Berger
Venue:6th Int’l Conf. on Computability and Complexity in Analysis