5
4
1
1
2
1
(Senior) Lecturer Position @ Strathclyde (assist/assoc professor) in Mathematically Structured Programming (logic/category theory/type theory/formal and mechanised maths)
by Clemens Kupke 30 Nov '24
by Clemens Kupke 30 Nov '24
30 Nov '24
1
0
Recommend "a category of causal-nets" and call for comments and suggestions
by xuexing lu 26 Nov '24
by xuexing lu 26 Nov '24
26 Nov '24
1
0
1
0
1
1
23 Nov '24
1
0
22 Nov '24
1
0
1
0