helm/www/lambdadelta/web/home/documentation_2.tbl

   1 name "documentation_2"
   2
   3 table {
   4    [ { name "ldJ2a" "<span class=\"emph alpha\">J2a.</span>" "" } {
   5      "F. Guidi:" +
   6      @("https://arxiv.org/abs/1911.12749"
   7      "Two Formal Systems of the λδ Family Revised") +
   8      "(<span class=\"emph gamma\">2019-11</span>)." +
   9      "Preprint." + (* Submitted to ACM ToCL. *)
  10      "CoRR identifier" +
  11      @("https://arxiv.org/abs/1911.12749" "1911.12749") +
  12      "[v1] (revised" +
  13      "<span class=\"emph gamma\">2019-11</span>)." +
  14      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  15      * }
  16    ]
  17    [ { name "ldR2c" "<span class=\"emph alpha\">R2c.</span>" "" } {
  18      "F. Guidi:" +
  19      @("http://amsacta.unibo.it/4411/"
  20      "Extending the Applicability Condition in the Formal System λδ") +
  21      "(<span class=\"emph gamma\">2015-03</span>)." +
  22      "University of Bologna, technical report AMS Acta 4411." +
  23      "CoRR identifier" +
  24      @("http://arxiv.org/abs/1411.0154" "1411.0154") +
  25      "[v3] (revised" +
  26      "<span class=\"emph delta\">2019-11</span>)." +
  27      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  28      * }
  29    ]
  30    [ { name "ldR2b" "<span class=\"emph alpha\">R2b.</span>" "" } {
  31      "F. Guidi:" +
  32      @@("download/cie_2010.pdf"
  33      "An Efficient Validation Procedure for the Formal System λδ") +
  34      "(<span class=\"emph alpha\">2010-07</span>)." +
  35      "In CiE 2010 Local Proceedings." +
  36      "University of Azores, CMATI Booklet, pp. 204-213." +
  37      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  38      * }
  39    ]
  40    [ { name "ldR2a" "<span class=\"emph alpha\">R2a.</span>" "" } {
  41      "F. Guidi:" +
  42      @("http://www.informatica.unibo.it/it/ricerca/technical-report/2009/UBLCS-2009-16"
  43      "Landau's \"Grundlagen der Analysis\" from Automath to lambda-delta") +
  44      "(<span class=\"emph alpha\">2009-09</span>)." +
  45      "University of Bologna, technical report UBLCS-2009-16." +
  46      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  47      * }
  48    ]
  49    [ { name "ldP2e" "<span class=\"emph alpha\">P2e.</span>" "" } {
  50      "F. Guidi:" +
  51      @@("download/ld_talk_11s.pdf"
  52      "A newborn in the λδ family: introducing λδ-2B") +
  53      "(<span class=\"emph beta\">2018-11</span>)." +
  54      "Presentation at University of Bologna (slides)."
  55      * }
  56    ]
  57    [ { name "ldP2d" "<span class=\"emph alpha\">P2d.</span>" "" } {
  58      "F. Guidi:" +
  59      @@("download/ld_talk_9s.pdf"
  60      "Considerations on Automath in Light of the Grundlagen") +
  61      "(revised <span class=\"emph delta\">2016-06</span>)." +
  62      "Presentation at University of Bologna (slides)."
  63      * }
  64    ]
  65    [ { name "ldP2c" "<span class=\"emph alpha\">P2c.</span>" "" } {
  66      "F. Guidi:" +
  67      @@("download/ld_talk_8s.pdf"
  68      "The Formal System λδ and the \"Three Problems\"") +
  69      "(<span class=\"emph beta\">2014-06</span>)." +
  70      "Presentation at University of Bologna, for the 10th anniversary of λδ (slides)."
  71      * }
  72    ]
  73    [ { name "ldP2b" "<span class=\"emph alpha\">P2b.</span>" "" } {
  74      "F. Guidi:" +
  75      @@("download/ld_talk_7s.pdf"
  76      "An Efficient Validation Procedure for the Formal System λδ") +
  77      "(<span class=\"emph alpha\">2010-07</span>)." +
  78      "Presentation at CiE 2010 (slides)."
  79      * }
  80    ]
  81    [ { name "ldP2a" "<span class=\"emph alpha\">P2a.</span>" "" } {
  82      "F. Guidi:" +
  83      @@("download/ld_talk_6s.pdf"
  84      "A Validator for the Formal System λδ") +
  85      "(revised <span class=\"emph alpha\">2010-02</span>)." +
  86      "Presentation at University of Bologna (slides)."
  87      * }
  88    ]
  89    [ { name "ldV2b" "<span class=\"emph alpha\">V2b.</span>" "" } {
  90      "F. Guidi:" +
  91      @@("html/specification.html#source2B" "lambdadelta_2B") +
  92      "(revised <span class=\"emph gamma\">2019-11</span>)." +
  93      "Formal specification for the proof assistant Matita 0.99.4 (scripts)." +
  94      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
  95      * }
  96    ]
  97    [ { name "ldV2a" "<span class=\"emph alpha\">V2a.</span>" "" } {
  98      "F. Guidi:" +
  99      @@("html/specification.html#source2A" "lambdadelta_2A") +
 100      "(revised <span class=\"emph delta\">2019-11</span>)." +
 101      "Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
 102      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
 103      * }
 104    ]
 105 }
 106
 107 class "top" [ * ]