Browse the list: Settori scientifico-disciplinari MIUR

Up a level
Export as [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Number of documents on this level: 2.

Guidi, Ferruccio (2015) Extending the Applicability Condition in the Formal System \lambda\delta. [Preprint]

Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]

This list has been generated onMon Oct 2 20:33:15 2023 CEST.