Marco Paviotti
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Lecturer. Category Theory, Semantics and Type Theory.
I bet they're going to be there to check you meet your deadlines
December 18, 2025 at 11:42 PM
I bet they're going to be there to check you meet your deadlines
lol, let me know if it works!
December 10, 2024 at 5:06 PM
lol, let me know if it works!
Dear all,
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.
Deadline for application is 15th of February 2025.
Please get in touch if interested. Link: www.kent.ac.uk/scholarships...
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.
Deadline for application is 15th of February 2025.
Please get in touch if interested. Link: www.kent.ac.uk/scholarships...
www.kent.ac.uk
December 10, 2024 at 4:48 PM
Dear all,
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.
Deadline for application is 15th of February 2025.
Please get in touch if interested. Link: www.kent.ac.uk/scholarships...
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.
Deadline for application is 15th of February 2025.
Please get in touch if interested. Link: www.kent.ac.uk/scholarships...