Formalizing Synthetic Domain Theory
Journal of Automated Reasoning
A Higher-Order Simulation Relation for System F
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Using a dependently-typed language for expressing ontologies
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |