A theory of second-order trees

MaRDI QIDQ4738352zbMATH OpenFDO

Authors Neal Glew

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050147.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• A second order theory of infinite trees
• Higher-order pushdown trees are easy
• A mechanized theory of regular trees in dependent type theory
• Intersection types for -trees
• Deciding monadic theories of hyperalgebraic trees

Cited in

(3)

• A mechanized theory of regular trees in dependent type theory
• A second order theory of infinite trees
• System \(F^\mu_\omega\) with context-free session types

This page was built for publication: A theory of second-order trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738352)