Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
Predicate and Relation Lifting for Parametric Algebraic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Subtyping, declaratively: an exercise in mixed induction and coinduction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Coinductive Predicates and Final Sequences in a Fibration
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |