@@ -235,7 +246,7 @@
examples |
terms with special features |
- ex_cpr_omega |
+ ex_sta_ldec ex_cpr_omega ex_fpbg_refl |
|
@@ -278,7 +289,9 @@
stratified native validity |
shnv ( �,?⦠⢠? ¡[?,?,?] ) |
- shnv_aaa |
+
+
+ |
|
@@ -372,7 +385,7 @@
|
- strongly normalizing "big tree" computation |
+ strongly normalizing qrst-computation |
fsb ( �,?⦠⢠⦥[?,?] ? ) |
fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
fsb_aaa fsb_csx |
@@ -416,7 +429,7 @@
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ? ) |
- csx_tstc_vector csx_aaa |
+ csx_tsts_vector csx_aaa |
|
@@ -442,41 +455,9 @@
|
- "big tree" parallel computation |
+ parallel qrst-computation |
fpbg ( â¦?,?,?⦠>â¡[?,?] â¦?,?,?⦠) |
- fpbg_lift fpbg_fleq fpbg_fpbg |
-
-
- |
-
-
- |
-
-
-
-
- |
-
-
- |
- fpbc ( â¦?,?,?⦠â»â¡[?,?] â¦?,?,?⦠) |
- fpbc_fleq fpbc_fpbs |
-
-
- |
-
-
- |
-
-
-
-
- |
-
-
- |
- fpbu ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
- fpbu_lift fpbu_lleq fpbu_fleq |
+ fpbg_lift fpbg_fleq fpbg_fpbs fpbg_fpbg |
|
@@ -493,7 +474,7 @@
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
- fpbs_lift fpbs_fleq fpbs_aaa fpbs_fpbs fpbs_ext |
+ fpbs_lift fpbs_aaa fpbs_fpb fpbs_fpbs |
|
@@ -534,7 +515,7 @@
cpxs ( â¦?,?⦠⢠? â¡*[?,?] ? ) |
- cpxs_tstc cpxs_tstc_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
+ cpxs_tsts cpxs_tsts_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
|
@@ -576,7 +557,7 @@
|
- local env. ref. for abstract candidates of reducibility |
+ local env. ref. for generic reducibility |
lsubc ( ? ⢠? â«[?] ? ) |
lsubc_drop lsubc_drops lsubc_lsuba |
@@ -590,19 +571,33 @@
|
|
- support for abstract computation properties |
- acp |
- acp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
- acp_aaa |
+ support for generic computation properties |
+ gcp |
+ gcp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
+ gcp_aaa |
|
reduction |
- "big tree" parallel reduction |
- fpb ( â¦?,?,?⦠â½[?,?] â¦?,?,?⦠) |
- fpb_lift fpb_aaa |
+ parallel qrst-reduction |
+ fpbq ( â¦?,?,?⦠â½[?,?] â¦?,?,?⦠) |
+ fpbq_alt ( â¦?,?,?⦠â½â½[?,?] â¦?,?,?⦠) |
+ fpbq_lift fpbq_aaa |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
+ fpb_lift fpb_lleq fpb_fleq |
|
@@ -774,8 +769,10 @@
iterated static type assignment |
lstas ( â¦?,?⦠⢠? â¢*[?,?] ? ) |
- lstas_alt ( â¦?,?⦠⢠? â¢â¢*[?,?] ? ) |
- lstas_lift lstas_aaa lstas_da lstas_lstas |
+ lstas_lift lstas_llpx_sn.ma lstas_aaa lstas_da lstas_lstas |
+
+
+ |
|
@@ -798,21 +795,7 @@
degree assignment |
da ( â¦?,?⦠⢠? âª[?,?] ? ) |
- da_lift da_aaa da_sta da_da |
-
-
- |
-
-
- |
-
-
-
-
- |
- static type assignment |
- sta ( â¦?,?⦠⢠? â¢[?] ? ) |
- sta_lift sta_lpx_sn sta_aaa sta_sta |
+ da_lift da_aaa da_da |
|
@@ -923,7 +906,7 @@
pointwise union for local environments |
- llor ( ? â©[?,?] ? â¡ ? ) |
+ llor ( ? â[?,?] ? â¡ ? ) |
llor_alt llor_drop |
@@ -993,7 +976,7 @@
|
iterated local env. slicing |
- drops ( â©*[?,?] ? â¡ ? ) |
+ drops ( â¬*[?,?] ? â¡ ? ) |
drops_drop drops_drops |
@@ -1007,7 +990,7 @@
|
generic term relocation |
- lifts_vector ( â§*[?] ? â¡ ? ) |
+ lifts_vector ( â¬*[?] ? â¡ ? ) |
lifts_lift_vector |
@@ -1023,7 +1006,7 @@
|
|
- lifts ( â§*[?] ? â¡ ? ) |
+ lifts ( â¬*[?] ? â¡ ? ) |
lifts_lift lifts_lifts |
@@ -1036,11 +1019,11 @@
|
|
- support for generic relocation |
- gr2 ( @�,?⦠⡠? ) |
- gr2_plus ( ? + ? ) |
- gr2_minus ( ? â ? â¡ ? ) |
- gr2_gr2 |
+ support for multiple relocation |
+ mr2 ( @�,?⦠⡠? ) |
+ mr2_plus ( ? + ? ) |
+ mr2_minus ( ? â ? â¡ ? ) |
+ mr2_mr2 |
substitution |
@@ -1077,7 +1060,7 @@
global env. slicing |
- gget ( â©[?] ? â¡ ? ) |
+ gget ( â¬[?] ? â¡ ? ) |
gget_gget |
@@ -1133,7 +1116,7 @@
|
basic local env. slicing |
- drop ( â©[?,?,?] ? â¡ ? ) |
+ drop ( â¬[?,?,?] ? â¡ ? ) |
drop_append drop_leq drop_drop |
@@ -1147,7 +1130,7 @@
|
basic term relocation |
- lift_vector ( â§[?,?] ? â¡ ? ) |
+ lift_vector ( â¬[?,?] ? â¡ ? ) |
lift_lift_vector |
@@ -1163,7 +1146,7 @@
|
|
- lift ( â§[?,?] ? â¡ ? ) |
+ lift ( â¬[?,?] ? â¡ ? ) |
lift_neq lift_lift |
@@ -1188,9 +1171,9 @@
|
|
- same top term constructor |
- tstc ( ? â ? ) |
- tstc_tstc tstc_vector |
+ same top term structure |
+ tsts ( ? â ? ) |
+ tsts_tsts tsts_vector |
|
@@ -1320,6 +1303,6 @@
- Last update: Thu, 07 Aug 2014 19:13:43 +0200
+ Last update: Sat, 04 Oct 2014 22:58:58 +0200