Recursive Families of Inductive Types
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Fast and loose reasoning is morally correct
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Partiality, state and dependent types
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
When is a container a comonad?
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Inductive Types in Homotopy Type Theory
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
| Hi-index | 5.23 |