![Vikraman Choudhury](https://icfp23.sigplan.org/getProfileImage/vikramanchoudhury/d6c77d9e-156f-4f6c-81c7-ee0b2d458cfa/small.jpg?1713299836000)
Registered user since Thu 2 Nov 2017
Name:Vikraman Choudhury
Country:United States
Affiliation:University of Glasgow
Personal website: https://vikraman.org
GitHub: https://github.com/vikraman
Research interests:Type Theory, Category Theory, Semantics
Contributions
2023
ICFP 2023-profile
View general profile
View general profile