R. Dicosmo

发表

Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object

R. Dicosmo, R. Dicosmo, 1995 .

New Generation of Linux Meta-installers

Arlindo L. Oliveira, R. Dicosmo, F. Mancinelli, 2007 .