|
Edinburgh Research Archive >
Browsing by Author Sannella, Donald
Showing results 5 to 8 of 8
| Issue Date | Title | Author(s) | Supervisor(s) | | 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 5 to 8 of 8
|
