A Broader Class of Trees for Recursive Type Definitions for HOL

Authors:
Elsa L. Gunter
Affiliations:
-
Venue:
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Year:
1993

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
A Purely Definitional Universal Domain

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Bootstrapping types and cotypes in HASCASL

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science

Hi-index	0.00