scientific article; zbMATH DE number 952103

MaRDI QIDQ4717191zbMATH OpenFDO

Authors Catarina Coquand, Thierry Coquand

Publication date 13 March 1997

zbMATH Keywords

semi-standard reduction

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 6678680
• Standard normalization for infinite typed terms
• Computing with Infinite Terms and Infinite Reductions
• On Normalisation of Infinitary Combinatory Reduction Systems
• Proof Terms for Infinitary Rewriting

Cited in

(6)

• Programming interfaces and basic topology
• On partitions of G-spaces and G-lattices
• scientific article; zbMATH DE number 4069565 (Why is no real title available?)
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• Clocks for Functional Programs
• Standard normalization for infinite typed terms

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