zbMath0958.68149MaRDI QIDQ4499170
Thierry Coquand
Publication date: 6 March 2001
zbMATH Keywords
weakly hyperbolic iterated function systems
Mathematics Subject Classification ID
Cites Work