@@ -236,7 +236,7 @@
dynamic typing |
local env. ref. for stratified native validity |
lsubsv ( ? ⢠? ¡â«[?,?] ? ) |
- lsubsv_ldrop lsubsv_lsubd lsubsv_lsuba lsubsv_lsstas lsubsv_cpds lsubsv_cpcs lsubsv_snv |
+ lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_cpds lsubsv_cpcs lsubsv_snv |
|
@@ -250,7 +250,7 @@
stratified native validity |
snv ( �,?⦠⢠? ¡[?,?] ) |
- snv_lift snv_da_lpr snv_aaa snv_lsstas snv_lsstas_lpr snv_lpr snv_cpcs |
+ snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_cpcs snv_preserve |
|
@@ -359,7 +359,7 @@
lsx ( ? ⢠â¬*[?,?,?,?] ? ) |
lsx_alt ( ? ⢠â¬â¬*[?,?,?,?] ? ) |
- lsx_ldrop lsx_lpx lsx_lpxs llsx_csx |
+ lsx_drop lsx_lpx lsx_lpxs llsx_csx |
|
@@ -399,7 +399,7 @@
"big tree" parallel computation |
- fpbg ( â¦?,?,?⦠>â[?,?] â¦?,?,?⦠) |
+ fpbg ( â¦?,?,?⦠>â¡[?,?] â¦?,?,?⦠) |
fpbg_lift fpbg_fleq fpbg_fpbg |
@@ -415,7 +415,7 @@
|
|
- fpbc ( â¦?,?,?⦠â»â[?,?] â¦?,?,?⦠) |
+ fpbc ( â¦?,?,?⦠â»â¡[?,?] â¦?,?,?⦠) |
fpbc_fleq fpbc_fpbs |
@@ -472,7 +472,7 @@
|
context-sensitive extended computation |
lpxs ( â¦?,?⦠⢠â¡*[?,?] ? ) |
- lpxs_ldrop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs |
+ lpxs_drop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs |
|
@@ -502,7 +502,7 @@
context-sensitive computation |
lprs ( â¦?,?⦠⢠â¡* ? ) |
- lprs_ldrop lprs_cprs lprs_lprs |
+ lprs_drop lprs_cprs lprs_lprs |
|
@@ -532,7 +532,7 @@
local env. ref. for abstract candidates of reducibility |
lsubc ( ? ⢠? â«[?] ? ) |
- lsubc_ldrop lsubc_ldrops lsubc_lsuba |
+ lsubc_drop lsubc_drops lsubc_lsuba |
|
@@ -584,7 +584,7 @@
context-sensitive extended reduction |
lpx ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lpx_ldrop lpx_frees |
+ lpx_drop lpx_frees |
lpx_lleq lpx_aaa |
@@ -654,7 +654,7 @@
|
context-sensitive reduction |
lpr ( �,?⦠⢠⡠? ) |
- lpr_ldrop lpr_lpr |
+ lpr_drop lpr_lpr |
|
@@ -725,18 +725,18 @@
iterated static type assignment |
- lsstas ( â¦?,?⦠⢠? â¢*[?,?,?] ? ) |
- lsstas_alt ( â¦?,?⦠⢠? â¢â¢*[?,?,?] ? ) |
- lsstas_lift lsstas_aaa lsstas_lsstas |
+ lstas ( â¦?,?⦠⢠? â¢*[?,?] ? ) |
+ lstas_alt ( â¦?,?⦠⢠? â¢â¢*[?,?] ? ) |
+ lstas_lift lstas_aaa lstas_da lstas_lstas |
|