A Formal Proof of Sylow‘s Theorem
Journal of Automated Reasoning
A New Implementation of Automath
Journal of Automated Reasoning
Dependently Typed Records for Representing Mathematical Structure
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Handbook of automated reasoning
Intuitionistic model constructions and normalization proofs
Mathematical Structures in Computer Science
Journal of Functional Programming
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science
Quotients over Minimal Type Theory
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Towards Constructive Homological Algebra in Type Theory
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
The identity type weak factorisation system
Theoretical Computer Science
Packaging Mathematical Structures
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Two-dimensional models of type theory
Mathematical Structures in Computer Science
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Electronic Notes in Theoretical Computer Science (ENTCS)
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Generative type abstraction and type-level computation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A few constructions on constructors
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Exploring the regular tree types
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Proof contexts with late binding
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Hi-index | 0.00 |