An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Type-based termination of recursive definitions
Mathematical Structures in Computer Science
First-order unification by structural recursion
Journal of Functional Programming
Modelling general recursion in type theory
Mathematical Structures in Computer Science
Foundations for structured programming with GADTs
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Recursion on Nested Datatypes in Dependent Type Theory
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Journal of Functional Programming
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Indexed induction and coinduction, fibrationally
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
On the confluence of the graphic calculus with penrose diagrams (i)
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
A Computational Interpretation of Parametricity
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae
Hardware design with generalized arrows
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |