In his 1986 ICM address, Drinfeld discusses a way of producing a quantized function algebra (or more precisely a quantized formal series Hopf algebra) from a quantized universal enveloping algebra -- the construction appears at the end of section 7. 


Are there any other discussions about this construction in the literature?



Drinfeld's equivalence of quantized function algebras and quantized universal enveloping algebras
Fabio Gavarini has many papers on this result sketch by Drinfeld, and some extensions of it. 


In [The quantum duality principle](http://arxiv.org/abs/math/9909071) he proves Drinfeld's statement in details. Later on Gavarini proved a [global version](http://arxiv.org/abs/math/0303019), and with Nicolas Ciccoli he got a [version for subgroups and homogeneous spaces](http://arxiv.org/abs/math/0312289). 


