@@ -362,8 +368,26 @@
+
+ rt-computation |
+ uncounted context-sensitive rt-transition |
+ cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
+
+
+ |
+
rt-transition |
+ parallel qrst-rtransition |
+ fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
+
+
+ |
+
+
+
+
+ |
t-bound context-sensitive rt-transition |
lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
@@ -386,13 +410,23 @@
cpm ( â¦?,?⦠⢠? â¡[?,?] ? ) |
- cpm_simple cpm_drops cpm_lsubr cpm_cpx |
+ cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx |
|
uncounted context-sensitive rt-transition |
+ cnx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
+ cnx_simple cnx_drops |
+
+
+
+
+ |
+
+
+ |
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
@@ -404,7 +438,7 @@
cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
- cpx_simple cpx_drops cpx_lsubr |
+ cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq |
@@ -416,7 +450,37 @@
|
static typing |
- restricted ref. for atomic arity assignment |
+ generic reducibility |
+ lsubc ( ? ⢠? â«[?] ? ) |
+ lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba |
+
+
+
+
+ |
+
+
+ |
+ gcp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
+ gcp_aaa |
+
+
+
+
+ |
+
+
+ |
+ gcp |
+
+
+ |
+
+
+
+
+ |
+ atomic arity assignment |
lsuba ( ? ⢠? â«â ? ) |
lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba |
@@ -424,25 +488,29 @@
|
- atomic arity assignment |
+
+
+ |
aaa ( â¦?,?⦠⢠? â ? ) |
- aaa_drops aaa_fqus aaa_lfeq aaa_aaa |
+ aaa_drops aaa_fqus aaa_lfdeq aaa_aaa |
|
- equivalence for closures on referred entries |
- ffeq ( �,?,?⦠⡠�,?,?⦠) |
- ffeq_freq |
+ degree-based equivalence on referred entries |
+ ffdeq ( â¦?,?,?⦠â¡[?,?] â¦?,?,?⦠) |
+ ffdeq_fqup ffdeq_ffdeq |
|
- equivalence for local environments on referred entries |
- lfeq ( ? â¡[?] ? ) |
- lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
+
+
+ |
+ lfdeq ( ? â¡[?,?,?] ? ) |
+ lfdeq_length lfdeq_fqup lfdeq_lfdeq |
@@ -456,7 +524,7 @@
|
|
- restricted ref. for context-sensitive free variables |
+ context-sensitive free variables |
lsubf ( â¦?,?⦠â«ð
* �,?⦠) |
lsubf_frees |
@@ -464,9 +532,11 @@
|
- context-sensitive free variables |
+
+
+ |
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_lreq frees_drops frees_fqup frees_frees |
+ frees_weight frees_drops frees_fqup frees_frees |
@@ -542,7 +612,7 @@
|
lifts ( â¬*[?] ? â¡ ? ) |
- lifts_simple lifts_weight lifts_lifts |
+ lifts_simple lifts_weight lifts_tdeq lifts_lifts |
@@ -767,6 +837,6 @@
- Last update: Sun, 22 Jan 2017 20:42:51 +0100
+ Last update: Sun, 19 Feb 2017 19:57:19 +0100
|