Logical aspects of logical frameworks
| Autor: | Price, Mark |
|---|---|
| Rok vydání: | 2008 |
| Předmět: | |
| Druh dokumentu: | Electronic Thesis or Dissertation |
| Popis: | This thesis provides a model-theoretic semantic analysis of aspects of the LF logical framework |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|