Publikationsdienste
→
Universitätsbibliographie
→
7 Mathematisch-Naturwissenschaftliche Fakultät
→
Auflistung 7 Mathematisch-Naturwissenschaftliche Fakultät nach Autor

Auflistung 7 Mathematisch-Naturwissenschaftliche Fakultät 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
Diese Sammlung

Mein Benutzerkonto

Einloggen