A.J. Kfoury  Home/Search
Context
Related
| churchproject.org...ry:TTTR1996.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: churchproject.org/reports/ele... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this report is more signi cant for the methodology it develops than for the speci c technical results it establishes. What we set up is a new, enlarged framework for the study of -reduction. There is unavoidably a profusion of new de nitions, but once these are understood, the technical results are not surprising and \work as they should". Finally, we point out that the present report is un nished in many ways. Expediency is only partly the reason, as it seems more important in a rst report to... (Update)
Similar documents (at the sentence level):
26.5%: A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996) (Correct)
Active bibliography (related documents): More All
0.4: Beta-Reduction As Unification - Kfoury (1996) (Correct)
0.1: On Strong Normalization in the Intersection Type Discipline.. - Boudol (Correct)
0.1: Behavioural Inverse Limit λ-Models - Dezani-Ciancaglini, Ghilezan.. (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (Correct)
0.1: An Infinite Pebble Game and Applications - Kfoury, Stolboushkin (1996) (Correct)
0.1: Addendum to "New Notions of Reduction and Non-Semantic Proofs.. - Kfoury, Wells (1995) (Correct)
BibTeX entry: (Update)
@techreport{ kfoury96linearization,
author = "A. J. Kfoury",
title = "A Linearization of the Lambda Calculus and Consequences",
number = "1996-021",
month = "19,",
year = "1996",
url = "citeseer.ist.psu.edu/article/kfoury96linearization.html" }
Citations (may not include all citations):370 A Mathematical Introduction to Logic (context) - Enderton - 1972
210 Its Syntax and Semantics (context) - Barendregt - 1984
64 A Type Assignment for the Strongly Normalizable -terms (context) - Pottinger - 1980
45 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - van Bakel - 1993
39 A Complete Type Inference Algorithm for Simple Intersection .. (context) - Coppo, Giannini - 1992
36 Typing and Computational Properties of Lambda Expressions (context) - Leivant - 1986
35 Complete Restrictions of the Intersection Type Discipline - van Bakel - 1992
22 Strong Normalization and Typability with Intersection Types (context) - Ghilezan - 1996
19 Addendum to \New Notions of Reduction and Non-Semantic Proof.. - Kfoury, Wells - 1995
17 New Notions of Reduction and Non-Semantic Proofs of Beta Str.. - Kfoury, Wells - 1995
17 Strong Normalization from Weak Normalization in Typed Lambda.. (context) - rensen - 1996
3 postscript available at: ftp://ftp (context) - on, Types et al. - 1995
2 Principal Type Schemes and Uni cation for Intersection Type .. (context) - Rocca - 1988
Documents on the same site (http://www.church-project.org/reports/electronic/): More
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (Correct)
Meta-Programming through Typeful Code Representation - Chen, Xi (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC