scientific article; zbMATH DE number 2087543

zbMATH Open1077.68607MaRDI QIDQ4738352FDOQ4738352

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

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

Recommendations

• A second order theory of infinite trees
• scientific article; zbMATH DE number 2087432
• A mechanized theory of regular trees in dependent type theory
• Intersection types for \(\lambda\)-trees
• scientific article; zbMATH DE number 1722657

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:

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