(Enter summary)
Abstract: this article, lower ca is used for variables in the lan!ae of h-calculus, and upper ca for
variables denotin$ l-ns. Fixed ons ar non-italic. Application socits the left, so
ABe means (AB). Aleructions ranse , far a poible, so I=.AB incaris I=.(AB). Multiple
aidtractions are abbrevial, so l=I/.A means lz.ll/.A (Update)
Similar documents (at the sentence level):
29.7%: The systematic construction of a one-combinator basis for.. - Fokker (1997)
(Correct)
Active bibliography (related documents): More All
0.0: Parallel Programming using Functional Languages - Roe (1991)
(Correct)
0.0: Explicit Cyclic Substitution - Rose (1993)
(Correct)
0.0: Light Analysis of Complex Systems - Massimo Marchiori
(Correct)
Similar documents based on text: More All
0.4: Parallel Aspects of Numerical Weather Prediction on a Grid of .. - Middelkoop, al. (1988)
(Correct)
0.2: Progress - A Transformation Factory For Digital Signal.. - Swierstra, Visser..
(Correct)
0.2: Functional Parsers - Fokker (1995)
(Correct)
BibTeX entry: (Update)
@misc{ fokker-systematic,
author = "J. Fokker",
title = "The Systematic Construction of a One-Combinator Basis",
url = "citeseer.ist.psu.edu/fokker89systematic.html" }
Citations (may not include all citations):
359
The implementation of functional programming languages (context) - Jones - 1987
1
it syntax and seroantcs (context) - lambda, syntax et al. - 1984
1
tory logic Vol (context) - Curry, Feys - 1958
Documents on the same site (http://www.cs.uu.nl/research/techreps/techreps.php?submit=show+reports&YEAR=&AUTH=&GRP=): More
On the Two-Level Uncapacitated Facility Location Problem - Aardal, Labbé (1995)
(Correct)
A Tourist Guide through Treewidth - Bodlaender (1993)
(Correct)
Predictive Probabilistic Models for Treatment Planning in.. - Peek (1998)
(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