+@techreport{lambdadeltaR3a,
+ author="Ferruccio {Guidi}",
+ title="{The Formal System $\lambda\Upsilon\mathrm{P}$}",
+ type="Technical Report",
+ number="AMS Acta 5754",
+ institution="University of Bologna",
+ address="Bologna, Italy",
+ year="2018",
+ month="January"
+}
+