@@ -358,9 +364,6 @@
component |
plane |
files |
-
-
- |
|
@@ -369,9 +372,6 @@
rt-computation |
uncounted context-sensitive rt-transition |
cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
-
-
- |
|
@@ -382,10 +382,17 @@
generic reducibility |
lsubc ( ? ⢠? â«[?] ? ) |
- lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba |
-
+ | lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba |
+
+
+
|
+
+
+ |
+ gcp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
+ gcp_aaa |
@@ -395,16 +402,14 @@
|
gcp |
- gcp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
- gcp_aaa |
+
+
+ |
rt-transition |
parallel qrst-rtransition |
fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
-
-
- |
|
@@ -415,10 +420,7 @@
t-bound context-sensitive rt-transition |
lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
-
-
- |
+ lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
@@ -428,10 +430,7 @@
|
cpr ( â¦?,?⦠⢠? â¡[?] ? ) |
- cpr_drops |
-
-
- |
+ cpr_drops |
@@ -441,10 +440,7 @@
|
cpm ( â¦?,?⦠⢠? â¡[?,?] ? ) |
- cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx |
-
-
- |
+ cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx |
@@ -452,10 +448,7 @@
|
uncounted context-sensitive rt-transition |
cnx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
- cnx_simple cnx_drops |
-
-
- |
+ cnx_simple cnx_drops |
@@ -465,10 +458,7 @@
|
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
- lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
-
-
- |
+ lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
@@ -478,10 +468,7 @@
|
cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
- cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq |
-
-
- |
+ cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq |
@@ -489,19 +476,13 @@
|
counted context-sensitive rt-transition |
cpg ( â¦?,?⦠⢠? â¬[?,?] ? ) |
- cpg_simple cpg_drops cpg_lsubr |
-
-
- |
+ cpg_simple cpg_drops cpg_lsubr |
static typing |
atomic arity assignment |
lsuba ( ? ⢠? â«â ? ) |
- lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba |
-
-
- |
+ lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba |
@@ -511,10 +492,7 @@
|
aaa ( â¦?,?⦠⢠? â ? ) |
- aaa_drops aaa_fqus aaa_lfdeq aaa_aaa |
-
-
- |
+ aaa_drops aaa_fqus aaa_lfdeq aaa_aaa |
@@ -522,10 +500,7 @@
|
degree-based equivalence on referred entries |
ffdeq ( â¦?,?,?⦠â¡[?,?] â¦?,?,?⦠) |
- ffdeq_fqup ffdeq_ffdeq |
-
-
- |
+ ffdeq_fqup ffdeq_ffdeq |
@@ -535,10 +510,7 @@
|
lfdeq ( ? â¡[?,?,?] ? ) |
- lfdeq_length lfdeq_fqup lfdeq_lfdeq |
-
-
- |
+ lfdeq_length lfdeq_fqup lfdeq_lfdeq |
@@ -546,10 +518,7 @@
|
generic extension on referred entries |
lfxs ( ? ⦻*[?,?] ? ) |
- lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
-
-
- |
+ lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
@@ -557,10 +526,7 @@
|
context-sensitive free variables |
lsubf ( â¦?,?⦠â«ð
* �,?⦠) |
- lsubf_frees |
-
-
- |
+ lsubf_frees |
@@ -570,10 +536,7 @@
|
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_drops frees_fqup frees_frees |
-
-
- |
+ frees_weight frees_drops frees_fqup frees_frees |
@@ -581,19 +544,13 @@
|
restricted ref. for local env. |
lsubr ( ? â« ? ) |
- lsubr_length lsubr_drops lsubr_lsubr |
-
-
- |
+ lsubr_length lsubr_drops lsubr_lsubr |
s-computation |
iterated structural successor for closures |
fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
- fqus_weight fqus_drops fqus_fqup fqus_fqus |
-
-
- |
+ fqus_weight fqus_drops fqus_fqup fqus_fqus |
@@ -603,19 +560,13 @@
|
fqup ( â¦?,?,?⦠â+ â¦?,?,?⦠) |
- fqup_weight fqup_drops fqup_fqup |
-
-
- |
+ fqup_weight fqup_drops fqup_fqup |
s-transition |
structural successor for closures |
fquq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
- fquq_length fquq_weight |
-
-
- |
+ fquq_length fquq_weight |
@@ -625,18 +576,12 @@
|
fqu ( â¦?,?,?⦠â â¦?,?,?⦠) |
- fqu_length fqu_weight |
-
-
- |
+ fqu_length fqu_weight |
relocation |
generic slicing for local environments |
drops_vector ( â¬*[?,?] ? â¡ ? ) ( â¬*[?] ? â¡ ? ) |
-
-
- |
|
@@ -649,10 +594,7 @@
drops ( â¬*[?,?] ? â¡ ? ) ( â¬*[?] ? â¡ ? ) |
- drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops |
-
-
- |
+ drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops |
@@ -660,10 +602,7 @@
|
generic relocation for terms |
lifts_vector ( â¬*[?] ? â¡ ? ) |
- lifts_lifts_vector |
-
-
- |
+ lifts_lifts_vector |
@@ -673,10 +612,7 @@
|
lifts ( â¬*[?] ? â¡ ? ) |
- lifts_simple lifts_weight lifts_tdeq lifts_lifts |
-
-
- |
+ lifts_simple lifts_weight lifts_tdeq lifts_lifts |
@@ -684,10 +620,7 @@
|
ranged equivalence for local environments |
lreq ( ? â¡[?] ? ) |
- lreq_length lreq_lreq |
-
-
- |
+ lreq_length lreq_lreq |
@@ -695,19 +628,13 @@
|
generic entrywise extension |
lexs ( ? ⦻*[?,?,?] ? ) |
- lexs_length lexs_lexs |
-
-
- |
+ lexs_length lexs_lexs |
syntax |
append for local environments |
append ( ? @@ ? ) |
- append_length |
-
-
- |
+ append_length |
@@ -715,10 +642,7 @@
|
degree-based equivalence for terms |
deq ( ? â¡[?,?] ? ) |
- deq_deq |
-
-
- |
+ deq_deq |
@@ -726,10 +650,7 @@
|
same top term structure |
tsts ( ? â ? ) |
- tsts_tsts tsts_vector |
-
-
- |
+ tsts_tsts tsts_vector |
@@ -737,9 +658,6 @@
|
closures |
cl_weight ( â¯{?,?,?} ) |
-
-
- |
|
@@ -752,9 +670,6 @@
cl_restricted_weight ( â¯{?,?} ) |
-
-
- |
|
@@ -765,9 +680,6 @@
global environments |
genv |
-
-
- |
|
@@ -778,9 +690,6 @@
local environments |
lenv_length ( |?| ) |
-
-
- |
|
@@ -793,9 +702,6 @@
lenv_weight ( â¯{?} ) |
-
-
- |
|
@@ -808,9 +714,6 @@
lenv |
-
-
- |
|
@@ -821,9 +724,6 @@
terms |
term_vector ( �.? ) |
-
-
- |
|
@@ -836,9 +736,6 @@
term_simple ( ðâ¦?⦠) |
-
-
- |
|
@@ -851,9 +748,6 @@
term_weight ( â¯{?} ) |
-
-
- |
|
@@ -866,9 +760,6 @@
term |
-
-
- |
|
@@ -879,9 +770,6 @@
items |
item_sd |
-
-
- |
|
@@ -894,9 +782,6 @@
item_sh |
-
-
- |
|
@@ -909,9 +794,6 @@
item |
-
-
- |
|
@@ -922,9 +804,6 @@
atomic arities |
aarity |
-
-
- |
|
@@ -958,6 +837,6 @@
- Last update: Sun, 19 Feb 2017 16:24:37 +0100
+ Last update: Sun, 19 Feb 2017 16:52:48 +0100