Publikationsdienste
→
Auflistung nach Autor

Auflistung nach Autor "Cai, Yufei"

Anzeige der Dokumente 1-2 von 2

Denotational validation of higher-order Bayesian inference

Cai, Yufei; Ostermann, Klaus (2018)
System F-omega with Equirecursive Types for Datatype-Generic Programming

Cai, Yufei; Giarrusso, Paolo G.; Ostermann, Klaus (2016)

Anzeige der Dokumente 1-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand

Mein Benutzerkonto

Einloggen

Hilfe & Infos