Partial algebras, subsorting, and dependent types
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 208-234
- https://doi.org/10.1007/3-540-50325-0_11
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Generalised algebraic theories and contextual categoriesPublished by Elsevier ,2003
- On specifications, theories, and models with higher typesInformation and Control, 1986
- Algebra categoricallyPublished by Springer Nature ,1986
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Equational partialityAlgebra universalis, 1983
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Partial abstract typesActa Informatica, 1982
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Aspects of topoi: Corrigenda and acknowledgementsBulletin of the Australian Mathematical Society, 1972