MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jo Erskine Hannay" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus
by Jo Erskine Hannay — 2001
… and Refinement in the Polymorphic Lambda Calculus Jo Erskine Hannay Doctor of Philosophy 2001 O F E T H E U N I V…
Cited by 1 (1 self) – Add To MetaCart

Specification Refinement with System F
by Jo Erskine Hannay — 1999 — In Proc. CSL'99, volume 1683 of LNCS
…Specification Refinement with System F Jo Erskine Hannay LFCS, Division of Informatics, University…
Cited by 6 (3 self) – Add To MetaCart

A higher-order simulation relation for System F
by Jo Erskine Hannay — 2000 — Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures. ETAPS 2000
…A Higher-Order Simulation Relation for System F Jo Erskine Hannay LFCS, Division of Informatics…
Cited by 2 (2 self) – Add To MetaCart

Abstraction Barriers in Equational Proof
by Jo Erskine Hannay — 1998 — In Proc. of AMAST'98, volume 1548 of LNCS
…Abstraction Barriers in Equational Proof Jo Erskine Hannay LFCS, Division of Informatics…
Cited by 1 (1 self) – Add To MetaCart

Specification Refinement with System F, The Higher-Order Case
by Jo Erskine Hannay — 2000
…Specification Refinement with System F, The Higher-Order Case Jo Erskine Hannay LFCS, Division…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB