Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie 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 Community

My Account

Login