X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=3e206b50d22415300cf5fea6667a652e35cae2ce;hb=e8ed2cbff6d25964309a3d3e63568feecb70a666;hp=2fd65b8cd1e980dca197760d1c519ce671381393;hpb=8913001064f595c21ed4234884e7c370be2afb52;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 2fd65b8cd..3e206b50d 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -163,29 +163,29 @@
@@ -410,7 +410,19 @@
|
- strongly normalizing computation |
+ strongly normalizing "big tree" computation |
+ fsb ( �,?⦠⢠⦥[?,?] ? ) |
+ fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
+ fsb_fleq fsb_csx |
+
+
+ |
+
+
+
+
+ |
+ strongly normalizing extended computation |
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ? ) |
csx_tstc_vector csx_aaa |
@@ -439,6 +451,22 @@
|
"big tree" parallel computation |
+ fpbr ( â¦?,?,?⦠ââ¥[?,?] â¦?,?,?⦠) |
+ fpbr_fpbr |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
fpbg ( �,?,?⦠>[?,?] �,?,?⦠) |
fpbg_lift fpbg_fpbg |
@@ -457,7 +485,7 @@
|
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
- fpbs_lift fpbs_fpbs |
+ fpbs_lift fpbs_fleq fpbs_fpbs |
|
@@ -856,7 +884,7 @@
iterated structural successor for closures |
fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
- fqus_fqus |
+ fqus_alt fqus_fqus |
|
@@ -944,6 +972,20 @@
+
+
+
+ |
+ lazy equivalence for closures |
+ fleq ( â¦?,?,?⦠â â¦?,?,?⦠) |
+ fleq_fleq |
+
+
+ |
+
+
+ |
+
@@ -1150,6 +1192,6 @@
- Last update: Sat, 12 Oct 2013 19:38:34 +0200
+ Last update: Sun, 27 Oct 2013 22:23:38 +0100
|