Nobuko Yoshida, Kohei Honda, Mario Tokoro  Home/Search
Context
Related
| doc.ic.ac.uk/~yoshida/paper/10.ps 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: doc.ic.ac.uk/~yoshida/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper gives basic definitions of f-calculus. f-calculus is a variant of -calculus which represents functional computation with shared environments. The formalism has a Church Rosser property and enjoys the universal computing power so that it can be regarded as a selfcontained functional calculus. Basic construction of the formalism and some of main results are presented together with suggestions for its possible applications. (Update)
Active bibliography (related documents): More All
0.0: Stable Results and Relative Normalization - Glauert, Kennaway, Khasidashvili (Correct)
0.0: The Call-by-Need Lambda Calculus - Maraist, Odersky (1994) (Correct)
0.0: Interaction Systems II: The Practice of Optimal Reductions - Asperti, Laneve (1993) (Correct)
Similar documents based on text: More All
0.9: Combinatory Representation of Mobile Processes - Kohei Honda Kohei (1994) (Correct)
0.9: Replication in Concurrent Combinators - Honda, Yoshida (1994) (Correct)
0.7: An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
BibTeX entry: (Update)
@misc{ yoshida-lambda,
author = "Nobuko Yoshida and Kohei Honda and Mario Tokoro",
title = "lambda f-calculus - a Functional Calculus with Shared Environments",
url = "citeseer.ist.psu.edu/560843.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
105 Technical report - Yoshida, of - 1992
70 On asynchronous communication semantics - Honda, Tokoro - 1992
42 On laziness and optimality in lambda interpreters: Tools for.. (context) - Field - 1990
42 The lazy lambda calculus: An investigation into the foundati.. (context) - Ong - 1988
34 Optimal derivations in weak lambdacalculi and in orthogonal .. - Maranget - 1991
15 Optimal reductions in the lambda-calculus (context) - L'evy - 1980
1 A formalism for concurrent object-based computing (context) - Honda, Tokoro - 1992
1 Cambridge Unversity Press (context) - Hindley, Seldin et al. - 1985
1 Curien and L'evy (context) - Cardelli - 1990
Documents on the same site (http://www.doc.ic.ac.uk/~yoshida/paper/): More
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (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