Marco Paviotti
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Lecturer. Category Theory, Semantics and Type Theory.
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...