Download (1405Kb)

Index
AB, 10
A→B, 10
M ∗ , 10
[n], 10
IB, 10
ff, 10
IN, 10
IN+, 10
P(M), 10
tt, 10
ϕ(T), 10
=〈A, ≤〉, 10
〈(AB), 〉, 10
〈(A→B), 〉, 10
≤, 10
, 10
Min(T), 11
T, 11
⊥, ⊥, 11
[A→B], 12
Fix(ϕ), 13
Fin(a), Fin(T), Fin(A), 13
A/ ∼, 15
[a]∼, 15
Σ, 15
Σn, 15
AlgΣ, 15
f (n) , 15
f, 15
h :→, 16
/ ∼, 15
=〈A, α〉, 15
Opsn(A), Ops(A), 15
AlgΣ〈A, ≤〉, 16
Alg ∞ Σ,⊥ , 16
〈AlgΣ〈A, ≤〉, ⊑〉, 16
:= 〈A, ≤, α〉, 16
σ : Y →TΣ(Z), 17
TΣ, 17
TΣ(X), 17
TΣ, 17
TΣ(X), 17
Var(t), 17
≤lex, 19
u v, 19
IN∗ +, 18
Occ(t), 18
✂, 19
t(u), 19
T ∞ Σ , 19
T ∞ Σ (X), 19
T∞ Σ,⊥ (X), 19
T∞ Σ , 19
(X), 19
T∞ Σ
T ∞ Σ,⊥
t, 21
A = (t
(X), 20
u
−−→
l→r t ′ ), 22
RedOcc(t), 22
RedSR, 22
RedR, 22
u
A = t −−→
l→r,̺ t′ , 23
A ′ U
= t −−→ t ′ , 23
−−→ , 23
R,̺
t↓̺, 23
RedR,I, 26
F, 38
C, 38
H, 41
condG, 41
selG,i, 41
, 45
[[·]] li P , 52
IntΣ,cbv, 56
ΦP,cbv, 57
IntΣ,cbn, 65
ΦP,cbn, 66
ς, 74
[[·]] nf
P