| Date of Award | 1 Nov 2008 |
|---|---|
| Original language | English |
| Awarding Institution |
|
| Supervisor | David Pym (Supervisor) & Guy McCusker (Supervisor) |
Keywords
- semantics
- proof-search
- logical framework
- LF
Cite this
- Standard
Logical aspects of logical frameworks
Student thesis: Doctoral Thesis › PhD