Foundations of dependently sorted logic
The theory of dependently sorted first order logic is developed. Two variants of the notion of a type setup, an abstract characterisation of language with dependent sorts proposed by Peter Aczel, are presented. It is argued that specialisations of these are appropriate for the characterisation of a...
| Main Author: | |
|---|---|
| Published: |
University of Manchester
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496230 |