Publikationsdienste
→
Universitätsbibliographie
→
Auflistung Universitätsbibliographie nach Autor

Auflistung Universitätsbibliographie nach Autor "Cai, Yufei"

Anzeige der Dokumente 1-2 von 2

Denotational validation of higher-order Bayesian inference

Kammar, O.; Staton, S.; Yang, H.; Cai, Y.; Ostermann, K.; Vákár, M.; Ścibior, A.; Moss, S.K.; Heunen, C.; Ghahramani, Z. (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

Publikation melden

Hilfe und Informationen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen