About Rahul Chhabra

PhD student in the Logic and Semantics Group at Aarhus University. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.

Lists

Timeline

rahulc29 has no activity yet