An Implementation of LF with Coercive Subtyping & Universes
Journal of Automated Reasoning
Implementation Techniques for Inductive Types in Plastic
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Coercive Subtyping via Mappings of Reduction Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
A Theorem Prover with Dependent Types for Reasoning about Actions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Contexts with Dependent Types
Fundamenta Informaticae
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |