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 onTue Feb 7 20:34:10 2023 CET.