Informatics Report Series


Alberto Momigliano

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1188 2007 Mobile resource guarantees
EDI-INF-RR-1148 Sep 2004 A Program Logic for Resource Verification
EDI-INF-RR-1090 Jul 2007 Mechanized Metatheory Model-Checking
EDI-INF-RR-0602 Feb 2004 Induction and Co-induction in Sequent Calculus
EDI-INF-RR-0601 Apr 2003 Multi-Level Meta-Reasoning with Higher Order Abstract Syntax
EDI-INF-RR-0600 Oct 2003 Higher-Order Pattern Complement and the Strict Lambda-Calculus
EDI-INF-RR-0509 Dec 2005 Optimisation Validation
EDI-INF-RR-0296 Dec 2007 A Program Logic for Resources

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh