Export 10 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:2001 and 2 is biblio_year:1981 and 3 is biblio_year:1989 and 4 is biblio_type:PhD Thesis and Author is J. Hannay  [Reset Search]
2003
J. Hannay. Abstraction Barrier-Observing Relational Parametricity In Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701. Lecture Notes in Computer Science. Springer-Verlag, 2003.PDF icon SE.5.Hannay.2003.b.pdf (217.8 KB)
J. Hannay. Axiomatic Criteria for Quotients and Subobjects at Higher Order In Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719. Lecture Notes in Computer Science. Springer-Verlag, 2003.PDF icon SE.5.Hannay.2003.a.pdf (212.98 KB)
J. Hannay, S. -. Y. Katsumata and D. T. Sannella. Semantic and Syntactic Approaches to Simulation Relations In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.PDF icon SE.5.Hannay.2003.c.pdf (277.15 KB)
2000
J. Hannay. A Higher-Order Simulation Relation for System F In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.PDF icon SE.5.Hannay.2000.pdf (241.77 KB)
1999
J. Hannay. Specification Refinement in System F, the Higher-Order Case In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.PDF icon SE.5.Hannay.1999.a.pdf (298.37 KB)
J. Hannay. Specification Refinement With System F In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.PDF icon SE.5.Hannay.1999.b.pdf (237.87 KB)
1998
J. Hannay. Abstraction Barriers in Equational Proof In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.PDF icon SE.5.Hannay.1998.pdf (238.14 KB)
J. Hannay. Referential Opacity in Equational Reasoning. University of Edinburgh, 1998.