scientific article

zbMath0702.18003MaRDI QIDQ3480250

Yves Lafont

Publication date: 1989

Full work available at URL: https://eudml.org/doc/193033

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

primitive recursive functionsabstract machines for primitive recursive algorithms

Mathematics Subject Classification ID

Special categories (18B99) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Abstract and axiomatic computability and recursion theory (03D75) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• The linear abstract machine
• Deductive systems and categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: