Thesis by Miyamoto, Kenji
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
Miyamoto, Kenji (2013): Program extraction from coinductive proofs and its application to exact real arithmetic. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Miyamoto, Kenji (2013): Program extraction from coinductive proofs and its application to exact real arithmetic. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics