|
Edinburgh Research Archive >
Browsing by Author Sannella, Donald
Showing results 3 to 8 of 8
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1998 | Categorical Term Rewriting: Monads and Modularity | Lüth , Christoph | Sannella, Donald; Kahrs, Stefan |
| Jul-1995 | Extensional concepts in intensional type theory | Hofmann, Martin | Sannella, Donald; Plotkin, Gordon |
| Jul-2005 | A Generalisation of Pre-Logical Predicates and Its Applications | Katsumata, Shin-ya | Sannella, Donald; Stark, Ian |
| 2000 | Lax Logical Relations | Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert | - |
| Jul-2000 | Testing from Structured Algebraic Specifications: The Oracle Problem | Machado, Patricia D L | Sannella, Donald |
| Jul-1998 | Types For Modules | Russo , Claudio V | Sannella, Donald; Goguen, Healfdene |
Showing results 3 to 8 of 8
|
