This thesis provides a model-theoretic semantic analysis of aspects of the LF logical framework
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:488882 |
| Date | January 2008 |
| Creators | Price, Mark |
| Contributors | Pym, David ; McCusker, Guy |
| Publisher | University of Bath |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
Page generated in 0.0017 seconds