The University of Glasgow uses cookies for analytics and advertising. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Hotjar helps us to understand and improve our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
telephone:
01413301908
email:
Vikraman.Choudhury@glasgow.ac.uk
pronouns:
They/them/theirs
307, Sir Alwyn Williams Building, Glasgow, Glasgow City, Scotland, United Kingdom, G12 8QN
Choudhury, V. and Fiore, M. (2023) Free Commutative Monoids in Homotopy Type Theory. In: 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022), Ithaca, NY, USA, 11-13 Jul 2022, p. 10492. (doi: 10.46298/entics.10492)
Choudhury, V. , Agapiev, B. and Sabry, A. (2022) Scheme Pearl: Quantum Continuations. Scheme 2022, Ljubljana, Slovenia, 16 Sep 2022. (Accepted for Publication)
Choudhury, V. , Karwowski, J. and Sabry, A. (2022) Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages. Proceedings of the ACM on Programming Languages, 6(POPL), 6. (doi: 10.1145/3498667)
Choudhury, V. , Karwowski, J. and Sabry, A. (2022) Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages. Proceedings of the ACM on Programming Languages, 6(POPL), 6. (doi: 10.1145/3498667)
Choudhury, V. , Agapiev, B. and Sabry, A. (2022) Scheme Pearl: Quantum Continuations. Scheme 2022, Ljubljana, Slovenia, 16 Sep 2022. (Accepted for Publication)
Choudhury, V. and Fiore, M. (2023) Free Commutative Monoids in Homotopy Type Theory. In: 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022), Ithaca, NY, USA, 11-13 Jul 2022, p. 10492. (doi: 10.46298/entics.10492)
https://orcid.org/0000-0003-2030-8056