[ { 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." +
[ { 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." +