Comparing Functional Paradigms for Exact Real-number Computation

Andrej Bauer, Martín Escardó, Alexander Simpson

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Search results