"On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types."

Denis Béchet, Alexander Ja. Dikovsky, Annie Foret (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics