Jonas Frey

I am PostDoc in the Computer Laboratory of the University of Cambridge, within the ERC Advanced Grant ECSYM.

Contact details

email:    jlf46 (aaat) cl.cam.ac.uk

My work

Realizability toposes

Equipments and the tripos-to-topos construction

Other