An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Spatiality for formal topologies
Mathematical Structures in Computer Science
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Embedding pure type systems in the lambda-pi-calculus modulo
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Zermelo's well-ordering theorem in type theory
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Mathematical Structures in Computer Science
Two kinds of procedural semantics for privative modification
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Combining type theory and untyped set theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Constructing a small category of setoids
Mathematical Structures in Computer Science
Untyped algorithmic equality for martin-löf's logical framework with surjective pairs
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Inductive Types in Homotopy Type Theory
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
| Hi-index | 0.00 |