scientific article; zbMATH DE number 2079037

MaRDI QIDQ4474849zbMATH OpenFDO

Authors Paul J. Voda

Publication date 21 July 2004

Mathematics Subject Classification ID

Theory of programming languages (68N15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 680708
• Recursion principles for syntax with bindings and substitution
• scientific article; zbMATH DE number 3845026
• The formal language of recursion
• Primitive recursion for higher-order abstract syntax
• scientific article; zbMATH DE number 2185713
• scientific article; zbMATH DE number 1500649
• scientific article; zbMATH DE number 4096777
• scientific article; zbMATH DE number 1086651

Cited in

(3)

• scientific article; zbMATH DE number 680708 (Why is no real title available?)
• A Language of Patterns for Subterm Selection
• A list of arithmetical structures complete with respect to the first-order definability

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 Q4474849)