Department Mathematik
print


Navigationspfad


Inhaltsbereich

Papers

Dissertation

Program Extraction from Coinductive Proofs and its Application to Exact Real Arithmetic

Available at the university library.

Last modified: 01.04.2016