Loading...
Please wait, while we are loading the content...
Similar Documents
Explicit Substitutions with de Bruijn’s Levels (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Lescanne, Pierre Rouyer-Degli, Jocelyne |
| Description | In the introduction of [7], Curry writes that substitution is the main issue in logic and that λ-calculus does not properly answer the problem because substitutions are outside the calculus. He pleads in favor of combinatory logic which offers a full treatment to substitutions through its use of a first order rewrite system in |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 1995-01-01 |
| Publisher Institution | in Rewriting Techniques and Applications, 6th International Conference, Lecture Notes in Computer Science 914 |
| Access Restriction | Open |
| Subject Keyword | Explicit Substitution Combinatory Logic Main Issue Bruijn Level Full Treatment First Order Rewrite System |
| Content Type | Text |
| Resource Type | Article |
