A Note on Formal Iterated Function Syste
β
Thierry Coquand
π
Article
π
2000
π
Elsevier Science
π
English
β 710 KB