Jorge Sousa Pinto  Home/Search
Context
Related
| di.uminho.pt/~jsp/...arimlcugilv.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: di.uminho.pt/~jsp/pubs/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An examination of Girard's execution formula suggests implementations of the Geometry of Interaction at the syntactic level. In this paper we limit our scope to groundtype terms and study the parallel aspects of such implementations, by introducing a family of abstract machines which can be directly implemented. These machines address all the important implementation issues such as the choice of an inter-thread communication model, and allow to incorporate speci c strategies for dividing the... (Update)
Similar documents (at the sentence level):
38.0%: Parallel Implementation Models for the lambda-calculus Using the.. - Pinto (Correct)
Active bibliography (related documents): More All
0.5: Parallel Evaluation of Interaction Nets with MPINE - Pinto (Correct)
0.3: Operational Equivalence for Interaction Nets - Fernández, Mackie (Correct)
0.3: Head Linear Reduction - Danos, Regnier (2004) (Correct)
Similar documents based on text: More All
0.2: Combining Interaction Nets with Externally Defined Programs - Fernández, Mackie, .. (Correct)
0.2: Compiling the lambda-calculus into Interaction Combinators - Mackie, Pinto (1998) (Correct)
0.2: Emotion-based Agents: Three approaches to implementation.. - Ventura, Pinto-Ferreira (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ pinto01parallel,
author = "Jorge Sousa Pinto",
title = "Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction",
booktitle = "Typed Lambda Calculus and Applications",
pages = "385-399",
year = "2001",
url = "citeseer.ist.psu.edu/464989.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987 ACM
21 Proof-nets and the Hilbert space - Danos, Regnier - 1995 ACM
21 Geometry of interaction 1: Interpretation of System F (context) - Girard - 1989
13 Linear logic without boxes - Gonthier, Abadi et al. - 1992 DBLP
10 The geometry of interaction machine (context) - Mackie - 1995 ACM DBLP
7 an analysis of Girard's execution formula (context) - Danos, Regnier et al. - 1993
7 Geometry of interaction III : accommodating the additives - Girard - 1995
7 Imperial College of Science (context) - Mackie, of et al. - 1994
6 Geometry of interaction 2: Deadlock-free algorithms (context) - Girard - 1988 ACM DBLP
4 Sequential and concurrent abstract machines for interaction .. (context) - Pinto - 2000 ACM DBLP
3 Directed virtual reductions - Danos, Pedicini et al. - 1997 ACM DBLP
3 Parallel Implementation with Linear Logic (context) - Pinto - 2000
1 terms: an introduction to the geometry of interaction for fu.. (context) - Pinto, of - 2000
Documents on the same site (http://www.di.uminho.pt/~jsp/pubs/index.html): More
Compiling the lambda-calculus into Interaction Combinators - Mackie, Pinto (1998) (Correct)
Parallel Evaluation of Interaction Nets with MPINE - Pinto (Correct)
Parallel Implementation Models for the lambda-calculus Using the.. - Pinto (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