Specification and Verification Using Dependent Types
IEEE Transactions on Software Engineering
A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science
Quotient Types: A Modular Approach
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Markov's Principle for Propositional Type Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Formalizing Type Operations Using the “Image” Type Constructor
Electronic Notes in Theoretical Computer Science (ENTCS)
Inductive-inductive definitions
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae
| Hi-index | 0.00 |