From eaaba018b368be3410b6d966dde578af46064ec0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 14 Nov 2011 17:22:11 +0000 Subject: [PATCH] file names and description update --- helm/www/lambda_delta/ld_basic_2.html | 2 +- helm/www/lambda_delta/web/home/ld_basic_2.tbl | 14 +++++++++----- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/helm/www/lambda_delta/ld_basic_2.html b/helm/www/lambda_delta/ld_basic_2.html index dab3a5e30..142598d2c 100644 --- a/helm/www/lambda_delta/ld_basic_2.html +++ b/helm/www/lambda_delta/ld_basic_2.html @@ -16,7 +16,7 @@
[lambda_delta home]
cic:/matita/lambda_delta/Basic_2/ (λδ version 2)
[Spacer]
Logical structure of the contribution
The source files are grouped in planes and components according to the following table.
-
componentplanefiles


examples




native typing
nty


conversioncontext-sensitivecpcs


computationstrongly normalizingcsn



context-sensitivecprs


reducibilitycontext-sensitive reductionlcpr




cprcpr_liftcpr_ltprcpr_cpr

context-free normal formstnf



context-free reductionltprltpr_ldrop



tprtpr_lifttpr_tpsstpr_tpr

context-free reducible formstrf


static typingatomic arity ass.aaaaaa_liftaaa_aaa

static type ass.stysty_liftsty_sty
unfoldpartialltpssltpss_ldropltpss_tpsltpss_ltpss


tpsstpss_lifttpss_tpsstpss_ltps
substitutionparallelltpsltps_ldropltps_tpsltps_ltps


tpstps_lifttps_tps

local env. droppingldropldrop_ldrop


term relocationliftlift_lift

grammarlocal env. ref. for substitutionlsubslsubs_lsubs


term hom.thomthom_thom


closurescl_shiftcl_weight


internal syntaxlenvlenv_weightlenv_length


termterm_weightterm_simple


item



external syntaxaarity



parameterssh


+
componentplanefiles


examples




native typing
nty


conversioncontext-sensitive conversioncpcs


computationstrongly normalizing computationcsn



context-sensitive computationcprs


reducibilitycontext-sensitive reductionlcpr




cprcpr_liftcpr_ltprcpr_cpr

context-free normal formstnf



context-free reductionltprltpr_ldrop



tprtpr_lifttpr_tpsstpr_tpr

context-free reducible formstrf


static typingatomic arity ass.aaaaaa_liftaaa_aaa

static type ass.stysty_liftsty_sty
unfoldtelescopic substitutiontsubst



partial unfoldltpssltpss_ldropltpss_tpsltpss_ltpss


tpsstpss_lifttpss_tpsstpss_ltps
substitutionparallel substitutionltpsltps_ldropltps_tpsltps_ltps


tpstps_lifttps_tps

local env. droppingldropldrop_ldrop


term relocationliftlift_lift

grammarlocal env. ref. for substitutionlsubslsubs_lsubs


term hom.thomthom_thom


closurescl_shiftcl_weight


internal syntaxlenvlenv_weightlenv_length


termterm_weightterm_simple


item



external syntaxaarity



parameterssh


Physical structure of the contribution
The source files are grouped in directories, one for each component.
[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]
diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.tbl b/helm/www/lambda_delta/web/home/ld_basic_2.tbl index 0d0518140..bcbb90b8b 100644 --- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl +++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl @@ -27,7 +27,7 @@ table { ] class "cyan" [ { "conversion" * } { - [ { "context-sensitive" * } { + [ { "context-sensitive conversion" * } { [ "cpcs" * ] } ] @@ -35,11 +35,11 @@ table { ] class "water" [ { "computation" * } { - [ { "strongly normalizing" * } { + [ { "strongly normalizing computation" * } { [ "csn" * ] } ] - [ { "context-sensitive" * } { + [ { "context-sensitive computation" * } { [ "cprs" * ] } ] @@ -81,7 +81,11 @@ table { ] class "yellow" [ { "unfold" * } { - [ { "partial" * } { + [ { "telescopic substitution" * } { + [ "tsubst" * ] + } + ] + [ { "partial unfold" * } { [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ] [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ] } @@ -90,7 +94,7 @@ table { ] class "orange" [ { "substitution" * } { - [ { "parallel" * } { + [ { "parallel substitution" * } { [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ] [ "tps" "tps_lift" "tps_tps" * ] } -- 2.39.2