Philippa Gardner, Masahito Hasegawa  Home/Search
Context Related
| kurims.kyotou.ac.jp/~ha...tacs97.ps.gz dcs.ed.ac.uk/home/mhas/p...tacs97.ps.gz cl.cam.ac.uk/users...higherorder.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: kurims.kyotou.ac.jp/~has...index (more) From: dcs.ed.ac.uk/home/mhas/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Milner introduced action calculi as a framework for representing models of interactive behaviour. He also introduced the higherorder action calculi, which add higher-order features to the basic setting. We present type theories for action calculi and higher-order action calculi, and give the categorical models of the higher-order calculi. As applications, we give a semantic proof of the conservativity of higher-order action calculi over action calculi, and a precise connection with Moggi's... (Update)
Context of citations to this paper: More
.... paper [Mil96] and of re exive action calculi in [Mil94] The categorical models and corresponding type theory presentation is given in [GH97], and a tutorial paper [Gar99a] links the action calculi with other graphical grameworks studied in the literature. The plan is as...
.... this kind of model construction technique is useful for showing the conservativity of syntactic translations, see for example [18, 5]. A much harder property to show is that the translation is full, i.e. if an expression of the target theory has types which are definable in...
Cited by: More
Comparing Logics for Rewriting: Rewriting logic, action.. - Gadducci, Montanari (2002) (Correct)
Symmetric Action Calculi - Gardner, Wischik (1999) (Correct)
Categorical Glueing and Logical Predicates for Models of Linear.. - Hasegawa (1999) (Correct)
Similar documents (at the sentence level):
73.6%: Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (Correct)
Active bibliography (related documents): More All
1.2: Graphical Presentations of Interactive Systems - Gardner (1999) (Correct)
0.7: From Action Calculi to Linear Logic - Barber, Gardner, Hasegawa, Plotkin (1998) (Correct)
0.7: Closed Action Calculi - Gardner (1998) (Correct)
Similar documents based on text: More All
0.4: A Tool for Implementing Action Graphs - Gardner, Norrish, Serjantov (Correct)
0.3: Parameterizations and Fixed-Point Operators on Control.. - Kakutani, Hasegawa (Correct)
0.2: Sound And Complete Translations From Sorted Higher-Order Logic.. - Kerber (1994) (Correct)
Related documents from co-citation: More All
8: Calculi for interaction - Milner - 1996
6: From action calculi to linear logic - Barber, Gardner et al. - 1998
5: A name-free account of action calculi (context) - Gardner - 1994
BibTeX entry: (Update)
P.A. Gardner and M. Hasegawa. Types and models for higher-order action calculi. In Theoretical Aspects of Computer Software, Sendai, 1997. http://citeseer.ist.psu.edu/47149.html More
@inproceedings{ gardner97types,
author = "Philippa Gardner and Masahito Hasegawa",
title = "Types and Models for Higher-Order Action Calculi",
booktitle = "Theoretical Aspects of Computer Software",
pages = "583-603",
year = "1997",
url = "citeseer.ist.psu.edu/47149.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
369 Information and Computation (context) - Moggi, computation - 1991
89 Calculi for interaction - Milner - 1996
77 Dual intuitionistic linear logic (context) - Barber - 1996
29 Recursion from cyclic sharing: traced monoidal categories an.. - Hasegawa - 1997
26 Mathematical Proceedings of the Cambridge Philosophical Soci.. (context) - Joyal, Street et al. - 1996
25 truth and set (context) - Aczel, structures et al. - 1980
18 and the linear lambda calculus (context) - Maraist, Odersky et al. - 1995
16 Properties of a first-order functional language with sharing - Ariola - 1995
14 A fully-abstract model for the ß-calculus (context) - Fiore, Moggi et al. - 1996
14 A name-free account of action calculi (context) - Gardner - 1995
14 University of Edinburgh (context) - Mifsud, Structures et al. - 1996
13 From action calculi to linear logic - Barber, Gardner et al. - 1997
13 A fully abstract domain model for the ß-calculus (context) - Stark - 1996
12 Control structures - Mifsud, Milner et al. - 1995
11 A universal property of the convolution monoidal structure (context) - Im, Kelly - 1986
11 reflexive molecular forms (context) - Milner, calculi - 1994
11 Adjunction of semi-functors: categorical structures in nonex.. (context) - Hayashi - 1985
10 on and P. Wadler, Linear logic, monads, and the lambda calcu.. (context) - Bent - 1996
9 Categorical logic of names and abstraction in action calculi - Pavlovic - 1996
9 Technical report ECS-LFCS (context) - Moggi, lambda-calculus - 1988
9 Elementary control structures (context) - Power - 1996
5 A Categorical Semantics of Let and Letrec (context) - Hasegawa, Sharing - 1997
5 To appear in Theoretical Computer Science (context) - Gardner, calculi - 1996
3 Various Publications Series (context) - Kock, functors et al. - 1970
3 the computational -calculus and linear logic (context) - Barber, Gardner et al. - 1996
2 To appear in Mathematical Structures in Computer Science (context) - Power, Robinson et al. - 1996
1 Action calculus semantics for a functional programming langu.. (context) - Compagnoni, Jensen et al. - 1997
1 Midwest Category Seminar Reports IV (context) - Day, categories et al. - 1970
1 Talk at a Newton Institute Workshop on Games (context) - Jensen - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kurims.kyoto-u.ac.jp/~hassei/papers/index.html): More
Girard Translation and Logical Predicates - Hasegawa (2000) (Correct)
Decomposing Typed Lambda Calculus Into a Couple of Categorical.. - Hasegawa (1995) (Correct)
Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (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