APA Citation

Berger, U., & Seisenberger, M. (2010). Program extraction via typed realisability for induction and coinduction. Series in Mathematical Logic., pp. 157-181.

Chicago Style Citation

Berger, Ulrich, and Monika Seisenberger. "Program Extraction Via Typed Realisability for Induction and Coinduction." Series in Mathematical Logic. 2010: 157-181.

MLA Citation

Berger, Ulrich, and Monika Seisenberger. "Program Extraction Via Typed Realisability for Induction and Coinduction." Series in Mathematical Logic. 2010: 157-181.

Warning: These citations may not always be 100% accurate.