Registered user since Fri 1 Mar 2024
Name:Jonathan Castello
Country:United States
Affiliation:University of California, Santa Cruz
Personal website: https://jonathan.com/
X (Twitter): https://x.com/Twisol
GitHub: https://github.com/Twisol
Research interests:Semantics, Concurrency, Category Theory
Contributions
Using general profile