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

Title of this publication is not available (Why is that?)

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

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)

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)