blob: 4495631fc083614e45e9e160395ce6bd4da7d2d1 (
plain) (
blame)
1
2
3
4
5
6
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
personal_ws-1.1 en 133
Bohrer
Bovik
Bram
Brookes
CFP
CMS
Compositionally
Coq
Dekker
Dingel
Drs
ECT
FreeBSD
Frobenius
GHC
GPAs
GPS
Hassan
Hirschkoff
Hyland
Hyland's
Kavanagh
LCF
Lambek
Lawvere
Lightstone
Madiot
McGill
NSERC
Naama
PASED
Panangaden
Pientka
Prakash
Presheafs
RAK
Rashid
Rudie
SPARC
Springer
TSO
UPMC
Unital
Wajc
Yoneda
acyclic
adjoint
adjunction
amongst
applicative
arXiv
assignables
assistantship
assistantships
associativity
atomicity
balancedness
bisimulation
bisimulations
boolean
cartesian
changelogs
checkpointing
coinductive
compositional
compositionality
compositionally
conjecturally
correlatedly
coöperative
cryptographic
decompositions
denotational
denotationally
dequeue
dequeuing
endomorphism
enqueue
enqueues
enqueuing
essentialised
executional
existentials
formalisations
functor
incentivisation
interleavings
internalisations
isomorphism
linearisation
linearisations
logics
metadata
metatheory
metavariables
modularly
modus
monoid
monoids
monotonicity
morphism
morphisms
multimap
multimaps
multiset
multisets
naturality
naïve
onwards
operad
optimisations
parametricity
pomset
pomsets
ponens
poset
presheaf
presheaves
reorderings
sequentialise
sigbovik
subphrases
subsequence
supérieure
surjective
toolchains
topos
unintuitive
unrollings
unsustainability
untyped
weakenings
École
|
