scientific article; zbMATH DE number 5033764

MaRDI QIDQ5475458zbMATH OpenFDO

Authors Jian Xu, Jeffery Zucker

Publication date 19 June 2006

zbMATH Keywords

abstract computabilityabstract many-sorted algebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1390021
• scientific article; zbMATH DE number 3967897
• Recursion on Nested Datatypes in Dependent Type Theory
• Primitive recursion in the abstract
• Primitive recursion for higher-order abstract syntax
• scientific article; zbMATH DE number 2185713
• scientific article; zbMATH DE number 16188
• On Polymorphic Recursion, Type Systems, and Abstract Interpretation

Cited in

(6)

• scientific article; zbMATH DE number 3966062 (Why is no real title available?)
• scientific article; zbMATH DE number 177847 (Why is no real title available?)
• scientific article; zbMATH DE number 408790 (Why is no real title available?)
• Theses for computation and recursion on concrete and abstract structures
• Numbering matters
• Feferman on computability

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