Adam Ścibior - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Tue 5 Sep 2017

Name:Adam Ścibior

Affiliation:University of Cambridge and MPI Tuebingen

Personal website: http://mlg.eng.cam.ac.uk/adam/

Contributions

2018

POPL

Denotational validation of higher-order Bayesian inference

LAFI

The semantic structure of quasi-Borel spaces: algebra, logic, and recursion

Show activities from other conferences

POPL 2018-profile
View general profile

	
		OSZAR »