Publication services
→
Universitätsbibliographie
→
7 Mathematisch-Naturwissenschaftliche Fakultät
→
Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by Author

Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by Author "Cai, Yufei"

Now showing items 1-2 of 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)

Now showing items 1-2 of 2

Report a Publication

Help

Browse

All of DSpace
This Collection

My Account

Login