+ note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
+}
+
+@techreport{lambdadeltaR2c,
+ author="F. {Guidi}",
+ title="{Extending the Applicability Condition in the Formal System $\lambda\delta$}",
+ type="Technical Report",
+ number="AMS Acta 4411",
+ institution="University of Bologna",
+ address="Bologna, Italy",
+ year="2015",
+ month="December"