scientific article; zbMATH DE number 1531380

zbMath0962.68100MaRDI QIDQ4513599

Pierre Valarcher

Publication date: 28 February 2001

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

zbMATH Keywords

denotational semanticssystem \(T\)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing minimum with primitive recursion over lists
• On a hitherto unexploited extension of the finitary standpoint
• Sequential algorithms on concrete data structures
• About primitive recursive algorithms
• LCF considered as a programming language
• Concrete domains
• A unary representation result for system \(T\)
• A complete characterization of primitive recursive intensional behaviours

This page was built for publication: