MoL-2016-11: Marzion, Evan (2016) Closed Sets of Higher-Order Functions. [Report]
X-2016-06: Marzion, Evan (2016) Constructive Notions of Cofiniteness. [Report]