Robert L. Constable
-
Automated higher-order complexity analysis
Theoretical Computer Science - Implicit computational complexity
A type-theoretical approach for ontologies: The case of roles
Applied Ontology