ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
Website: https://csu-applied-category-theory.github.io/
2
DateSpeakersAbstract or summary
3
02/06James Wilson
I will cover Curry's Dependent Type Theory with examples from programming and categories. If you only learn one Type Theory it should be this one.
4
02/13Jonathan Yallop
This talke will cover ideas from Observational Type Theory starting with what it means for equality to be data and ending with how we solve the problem of codata equality
5
6
Chris
I would like to read through various resources and summarize them from first principles
in particular,
Observational equality: now for good | Proceedings of the ACM on Programming Languages
Towards Observational Type Theory
Observational Equality, Now! | Lambda the Ultimate
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100