Alberto Momigliano
I'm an ABD PhD Stduent in the Pure
and Applied Logic Program at CMU. My advisor is Frank
Pfenning. Contact information are available in my plan
file. A general description of my research interests is below with a list
of relevant papers. If you're really a fan, consult my complete bibliography.
At CMU, I am working on the Twelf
project . At DSI, you can check the
Interest Group
on Logical and Constructive Methods in Computer Science .
My thesis regards negation in logical frameworks. The proposal and some
chapthers can be found in Dissertation
Research Interests
Higher-Order Logics and Lambda-Calculi
Proof-Theory of Logic Programming
Logical Frameworks
Theorem Proving
Recent Publications and Drafts
-
A. Momigliano & M. Ornaghi. Regular Search Spaces and Constructive
Negation. Journal of Logic and Computation, 1997 (PS)
(DVI)
(Abstract).
-
A. Momigliano & M. Ornaghi. Towards a Logic for reasonong about Logic
Program Transformation. LOPSTR'97 (PS)
(DVI)
(Abtract)
-
A. Momigliano & M. Ornaghi. Regular Search Spaces as a Foundation for
Logic Programming. WELP93 (PS)
(DVI)
(Abtract)
Dissertation
: Frank, please click here
for current draft
Università degli Studi di Milano
Dipartimento di Scienze dell'Informazione
Via Comelico 39/41
I-20135 Milano MI
Italia
Tel.: +39-2-55006-289
Fax: +39-2-55006-373
e-mail: mobile@dsi.unimi.it
Under Costruction. Last Modified: June, 28, 1997.