Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Disjoint Sums over Type Classes in HOL
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Modular Structures as Dependent Types in Isabelle
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Manifest Fields and Module Mechanisms in Intensional Type Theory
Types for Proofs and Programs
Contextual analysis of word meanings in type-theoretical semantics
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae
Hi-index | 0.00 |