Dipartimento di Scienze dell'Informazione
Alberto Momigliano
Visiting Researcher at DSI
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 belong to the POP group (principles of programming group). 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 Works
in Progress
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)
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.