avatar

Josh Chen

@jaycech3n@mathstodon.xyz

Joined: 11/12/2022



About Josh Chen

Logic, categories and types // FP Lab, University of Nottingham -> Theory of Computation, University of Birmingham

Lists

jaycech3n has no public lists

Timeline

jaycech3n has no activity yet