Graduate studies at Western
Journal of Symbolic Logic 64 (1):291-303 (1999)
|Abstract||We present a new proof for the standardization theorem in λ-calculus, which is largely built upon a structural induction on λ-terms. We then extract some bounds for the number of β-reduction steps in the standard β-reduction sequence obtained from transforming a given β-reduction sequence, sharpening the standardization theorem. As an application, we establish a super exponential bound for the lengths of β-reduction sequences from any given simply typed λ-terms|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Andreas Liu (2006). Bounds for Covering Numbers. Journal of Symbolic Logic 71 (4):1303 - 1310.
Niki Pfeifer & G. D. Kleiter (2002). Experiments on Nonmonotonic Reasoning. The Coherence of Human Probability Judgments. In H. Leitgeb & G. Schurz (eds.), Pre-Proceedings of the 1 s T Salzburg Workshop on Paradigms of Cognition.
Gerhard Jäger & Thomas Strahm (2001). Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. Journal of Symbolic Logic 66 (2):935-958.
Jan Krajíček (1997). Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. Journal of Symbolic Logic 62 (2):457-486.
Sachio Hirokawa, Yuichi Komori & Izumi Takeuti (1996). A Reduction Rule for Peirce Formula. Studia Logica 56 (3):419 - 426.
Thomas Schürmann, About Conditional Probabilities of Events Regarding the Quantum Mechanical Measurement Process.
Luca Viganò (2000). An o(N Log N)-Space Decision Procedure for the Relevance Logic B+. Studia Logica 66 (3):385-407.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Arnold Beckmann (2001). Exact Bounds for Lengths of Reductions in Typed Λ-Calculus. Journal of Symbolic Logic 66 (3):1277-1285.
Harold T. Hodes (1983). More About Uniform Upper Bounds on Ideals of Turing Degrees. Journal of Symbolic Logic 48 (2):441-457.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?