-
2013 April 16.
- Reaxiomatized substitution and reduction
+ Reaxiomatized substitution and reduction
commute with respect to subclosure
(anniversary milestone).
@@ -316,19 +316,9 @@
dynamic typing |
- "big tree" parallel computation |
- yprs ( ? ⢠â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
- yprs_yprs |
- ygt ( �,?,?⦠>[?,?] �,?,?⦠) |
- ygt_ygt |
-
-
-
-
- |
- "big tree" parallel reduction |
- ypr ( â¦?,?,?⦠â½[?,?] â¦?,?,?⦠) |
- ysc ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
+ local env. ref. for stratified native validity |
+ lsubsv ( ? ⢠? ¡â[?,?] ? ) |
+ lsubsv_ldrop lsubsv_lsubd lsubsv_lsuba lsubsv_lsstas lsubsv_cpds lsubsv_cpcs lsubsv_snv |
|
@@ -340,9 +330,9 @@
|
- local env. ref. for stratified native validity |
- lsubsv ( ? ⢠? ¡â[?,?] ? ) |
- lsubsv_ldrop lsubsv_lsuba lsubsv_ssta lsubsv_dxprs lsubsv_cpcs lsubsv_snv |
+ stratified native validity |
+ snv ( �,?⦠⢠? ¡[?,?] ) |
+ snv_lift snv_da_lpr snv_aaa snv_lsstas snv_lsstas_lpr snv_lpr snv_cpcs |
|
@@ -351,21 +341,21 @@
-
-
- |
- stratified native validity |
- snv ( �,?⦠⢠? ¡[?,?] ) |
- snv_lift snv_aaa snv_ssta snv_sstas snv_ssta_lpr snv_lpr snv_cpcs |
-
+ | equivalence |
+ decomposed extended equivalence |
+ cpes ( â¦?,?⦠⢠? â¢*â¬*[?,?] ? ) |
+ cpes_cpds |
+
|
-
+ |
|
- equivalence |
+
+
+ |
context-sensitive equivalence |
cpcs ( â¦?,?⦠⢠? â¬* ? ) |
cpcs_aaa cpcs_cprs cpcs_cpcs |
@@ -444,13 +434,43 @@
+
+
+
+ |
+ "big tree" parallel computation |
+ ygt ( �,?,?⦠>[?,?] �,?,?⦠) |
+ ygt_lift ygt_ygt |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ yprs ( ? ⢠â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
+ yprs_lift yprs_yprs |
+
+
+ |
+
+
+ |
+
|
decomposed extended computation |
- dxprs ( â¦?,?⦠⢠? â¢*â¡*[?,?] ? ) |
- dxprs_lift dxprs_aaa dxprs_dxprs |
+ cpds ( â¦?,?⦠⢠? â¢*â¡*[?,?] ? ) |
+ cpds_lift cpds_aaa cpds_cpds |
|
@@ -542,6 +562,20 @@
reduction |
+ "big tree" parallel reduction |
+ ypr ( â¦?,?,?⦠â½[?,?] â¦?,?,?⦠) |
+ ysc ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
context-sensitive extended normal forms |
cnx ( â¦?,?⦠⢠ð[?,?]â¦?⦠) |
cnx_lift cnx_crx cnx_cix |
@@ -700,21 +734,47 @@
|
- iterated stratified static type assignment |
- sstas ( â¦?,?⦠⢠? â¢*[?] ? ) |
- sstas_lift sstas_aaa sstas_sstas |
-
-
- |
+ iterated static type assignment |
+ lsstas ( â¦?,?⦠⢠? â¢*[?,?,?] ? ) |
+ lsstas_alt ( â¦?,?⦠⢠? â¢â¢*[?,?,?] ? ) |
+ lsstas_lift lsstas_aaa lsstas_lsstas |
|
static typing |
+ local env. ref. for atomic arity assignment |
+ lsuba ( ? ⢠? ââ ? ) |
+ lsuba_ldrop lsuba_aaa lsuba_lsuba |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ atomic arity assignment |
+ aaa ( â¦?,?⦠⢠? â ? ) |
+ aaa_lift aaa_lifts aaa_da aaa_ssta aaa_aaa |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
stratified static type assignment |
- ssta ( â¦?,?⦠⢠? â¢[?,?] â¦?,?⦠) |
- ssta_lift ssta_aaa ssta_ssta |
+ ssta ( â¦?,?⦠⢠? â¢[?,?] ? ) |
+ ssta_lift ssta_ssta |
|
@@ -726,9 +786,9 @@
|
- local env. ref. for atomic arity assignment |
- lsuba ( ? ⢠? ââ ? ) |
- lsuba_ldrop lsuba_aaa lsuba_lsuba |
+ local env. ref. for degree assignment |
+ lsubd ( ? ⢠? âªâ ? ) |
+ lsubd_da lsubd_lsubd |
|
@@ -740,9 +800,9 @@
|
- atomic arity assignment |
- aaa ( â¦?,?⦠⢠? â ? ) |
- aaa_lift aaa_lifts aaa_aaa |
+ degree assignment |
+ da ( â¦?,?⦠⢠? âª[?,?] ? ) |
+ da_lift da_da |
|
@@ -1076,6 +1136,6 @@
- Last update: Wed, 07 Aug 2013 23:40:05 +0200
+ Last update: Fri, 04 Oct 2013 17:03:32 +0200