Type fixpoints: iteration vs. recursion
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Categorical properties of logical frameworks
Mathematical Structures in Computer Science
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
(Co-) iteration for higher-order nested datatypes
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae
Hi-index | 0.00 |