Some algorithmic and proof-theoretical aspects of coercive subtyping
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 173-195
- https://doi.org/10.1007/bfb0097792
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Subtyping dependent typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Typing algorithm in type theory with inheritancePublished by Association for Computing Machinery (ACM) ,1997
- Typed operational semanticsPublished by Springer Nature ,1995
- Computation and ReasoningPublished by Oxford University Press (OUP) ,1994
- Program specification and data refinement in type theoryMathematical Structures in Computer Science, 1993
- An algorithm for testing conversion in type theoryPublished by Cambridge University Press (CUP) ,1991
- A Perspective in Theoretical Computer SciencePublished by World Scientific Pub Co Pte Ltd ,1989
- Typechecking dependent types and subtypesPublished by Springer Nature ,1988