[ { name "ldJ2a" "<span class=\"emph alpha\">J2a.</span>" "" } {
"F. Guidi:" +
@("https://arxiv.org/abs/1911.12749"
- "Two Formal Systems of the λδ Family Revised") +
- "(<span class=\"emph gamma\">2019-11</span>)." +
+ "A Formal System for the Universal Quantification of Schematic Variables") +
+ "(<span class=\"emph gamma\">2020-12</span>)." +
"Preprint." + (* Submitted to ACM ToCL. *)
"CoRR identifier" +
@("https://arxiv.org/abs/1911.12749" "1911.12749") +
- "[v1] (revised" +
- "<span class=\"emph gamma\">2019-11</span>)." +
+ "[v3] (revised" +
+ "<span class=\"emph gamma\">2020-12</span>)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]