[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: M. Venturini-Zilli
Date: December 1991
Summary: Which ordinals correspond to reduction graphs in the λ-calculus?
Some reduction graphs in λ-calculus [VZ84] are isomorphic to ordinals. For example, the reduction graph of (λ x.y)((λ z.zzz)(λ z.zzz)) is isomorphic to ω + 1. Which ordinals appear in this way as reduction graphs? It is known that all ordinals less than є_{0} can be so represented.
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |