name "documentation_2"
table {
-(*
[ { name "ldJ2a" "<span class=\"emph alpha\">J2a.</span>" "" } {
"F. Guidi:" +
- @@("download/basic2a.pdf"
- "The Formal System λδ Revised, Stage A: Extending the Applicability Condition") +
- "(<span class=\"emph gamma\">2014-11</span>)." +
+ @("https://arxiv.org/abs/1911.12749"
+ "Two Formal Systems of the λδ Family Revised") +
+ "(<span class=\"emph gamma\">2019-11</span>)." +
"Preprint." + (* Submitted to ACM ToCL. *)
"CoRR identifier" +
- @("http://arxiv.org/abs/1411.0154" "1411.0154") +
- "[v2] (revised" +
- "<span class=\"emph gamma\">2015-03</span>)." +
+ @("https://arxiv.org/abs/1911.12749" "1911.12749") +
+ "[v1] (revised" +
+ "<span class=\"emph gamma\">2019-11</span>)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]
-*)
[ { name "ldR2c" "<span class=\"emph alpha\">R2c.</span>" "" } {
"F. Guidi:" +
@("http://amsacta.unibo.it/4411/"
"Extending the Applicability Condition in the Formal System λδ") +
"(<span class=\"emph gamma\">2015-03</span>)." +
"University of Bologna, technical report AMS Acta 4411." +
+ "CoRR identifier" +
+ @("http://arxiv.org/abs/1411.0154" "1411.0154") +
+ "[v3] (revised" +
+ "<span class=\"emph delta\">2019-11</span>)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]