DMCA

Realisability for induction and coinduction with applications to constructive analysis (2010)

Cached

Download Links

by Ulrich Berger
Venue:J. Univers. Comput. Sci
Citations:1 - 1 self