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 onSat Jul 13 20:33:27 2024 CEST.
^