A Higher-Order Calculus for Categories
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Normalization and the Yoneda embedding
Mathematical Structures in Computer Science
A coherence theorem for Martin-Löf's type theory
Journal of Functional Programming
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Science of Computer Programming
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Hi-index | 0.00 |