Orders, reduction graphs and spectra

DOI10.1016/S0304-3975(98)00141-8zbMath0913.68109MaRDI QIDQ1275630

Marisa Venturini Zilli, Benedetto Intrigila

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

spectraordinalsconstructive ordinalsabstract reduction systemslambda-calculireduction graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reduction graphs in the lambda calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Varieties of ordered algebras
• Parallel concepts in graph theory
• The ant-lion paradigm for strong normalization
• The Expressiveness of Simple and Second-Order Type Structures
• Eine Klassifikation der ε₀‐Rekursiven Funktionen

This page was built for publication: Orders, reduction graphs and spectra