Browse the list: Settori scientifico-disciplinari MIUR

Up a level
Export as [feed] Atom [feed] RSS 1.0 [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 onThu Mar 30 20:34:31 2023 CEST.