conf.researchr.org / Farhan Kamil-okedara
Registered user since Mon 28 Nov 2022
Name:Farhan Kamil-okedara
Bio:
Hello, I’m a maths and computer science undergrad. who likes programming language theory and logic.
Affiliation:University of Warwick
X (Twitter): https://x.com/_okedata
Research interests:Programming language semantics and pragmatics, Logic, Category theory
Contributions