Shinya Sato, et al.  Home/Search
Context
Related
Links: DBLP | informatik.unikiel.de/~...paper2.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: informatik.unikiel.de/~w...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine Shinya Sato 1 , Toru Sugimoto 2 , and Shinichi Yamada 1 1 Department of Information Sciences, Science University of Tokyo, 2641 Yamazaki, Noda, Chiba 278-8510, JAPAN shinya@sy.is.noda.sut.ac.jp, yamada@is.noda.sut.ac.jp 2 RIKEN Brain Science Institute 2-1 Hirosawa, Wako, Saitama 351-0198, JAPAN sugimoto@brain.riken.go.jp Abstract. Abramsky's Linear Chemical Abstract Machine is a term calculus which corresponds to Linear Logic, via the Curry-Howard isomorphism. We show that... (Update)
Active bibliography (related documents): More All
0.5: The Geometry of Optimal Lambda Reduction - Gonthier, Abadi, Lévy (1992) (Correct)
0.2: Separating Weakening and Contraction in a Linear Lambda Calculus - Maraist (1996) (Correct)
0.1: Separating Weakening and Contraction in a Linear Lambda Calculus.. - Maraist (1996) (Correct)
Similar documents based on text: More All
0.6: The Measure-Theoretical Approach to P-Adic Probability.. - Khrennikov, Yamada, van.. (1998) (Correct)
0.4: Collaboration Between Robotic Agents at the Smart Office - Mizoguchi, Ohwada.. (1999) (Correct)
0.4: A Multiagent Robot Language for Communication and.. - Nishiyama, Ohwada.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ sato-implementation,
author = "Shinya Sato and et al.",
title = "An implementation model of the typed lambda-calculus based on Linear Chemical
Abstract Machine",
url = "citeseer.ist.psu.edu/sato01implementation.html" }
Citations (may not include all citations):314 A calculus for interaction nets (context) - Fern'andez, Mackie - 1999
306 Lcf considered as a programming language (context) - Plotokin - 1977 DBLP
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
215 Theoretical Computer Science (context) - Girard - 1987
159 The chemical abstract machine (context) - Berry, Boudol - 1990 ACM DBLP
109 Interaction nets (context) - Lafont - 1990
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993 ACM DBLP
29 A syntax for linear logic - Wadler - 1993
12 An Axiomatic Approach to Adequacy (context) - Brauner - 1996
11 YALE: Yet another lambda evaluator based on interaction nets (context) - Mackie - 1998 DBLP
8 call-by-need and the linear lambda calculus (context) - Maraist, Odersky et al. - 1999
2 Linear logic and parallelism (context) - Girard - 1987
1 A study of Abramsky's linear chemical abstract machine (context) - Mikami, Akama - 1999 ACM DBLP
Documents on the same site (http://www.informatik.uni-kiel.de/~wflp2001/proceedings/index.html): More
Adding Functional Programming into the Holo Language - Bois, Barbosa, Geyer (2001) (Correct)
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Solving Cardinality Constraints in (Constraint) Logic Programming - Seipel, Geske (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