2016 March 25.
@@ -348,6 +356,32 @@
+
+ rt-transition |
+ uncounted context-sensitive rt-transition |
+ cpx ( â¦?,?⦠⢠? â¡[?] ? ) |
+ cpx_simple cpx_drops cpx_lsubr |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ counted context-sensitive rt-transition |
+ cpg ( â¦?,?⦠⢠? â¡[?,?] ? ) |
+ cpg_simple cpg_drops cpg_lsubr |
+
+
+ |
+
+
+ |
+
static typing |
parameters |
@@ -360,6 +394,34 @@
+
+
+
+ |
+ restricted ref. for atomic arity assignment |
+ lsuba ( ? ⢠? â«â ? ) |
+ lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ atomic arity assignment |
+ aaa ( â¦?,?⦠⢠? â ? ) |
+ aaa_drops aaa_fqus aaa_lfeq aaa_aaa |
+
+
+ |
+
+
+ |
+
@@ -378,9 +440,37 @@
|
|
- ranged equivalence for closures |
- freq ( �,?,?⦠⡠�,?,?⦠) |
- freq_freq |
+ equivalence for closures on referred entries |
+ ffeq ( �,?,?⦠⡠�,?,?⦠) |
+ ffeq_freq |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ equivalence for local environments on referred entries |
+ lfeq ( ? â¡[?] ? ) |
+ lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ generic extension on referred entries |
+ lfxs ( ? ⦻*[?,?] ? ) |
+ lfxs_length lfxs_fqup lfxs_lfxs |
|
@@ -536,7 +626,7 @@
|
- generic entrywise extension of context-sensitive relations for terma |
+ generic entrywise extension |
lexs ( ? ⦻*[?,?,?] ? ) |
lexs_length lexs_lexs |
@@ -705,6 +795,6 @@
- Last update: Fri, 08 Apr 2016 22:51:19 +0200
+ Last update: Sat, 21 May 2016 22:22:39 +0200
|