John Power, Edmund Robinson  Home/Search
Context Related
Links: ACM DBLP | dcs.qmw.ac.uk/~edmundr/p...premoncat.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: dcs.qmw.ac.uk/~edm...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce the notions of... (Update)
Context of citations to this paper: More
...models given as above. Following the discovery of the premonoidal structure on the Kleisli category part C T (R C ) of these models [15], Thielecke [19] proposed a direct axiomatization of R C not depending on the base category C (which may be seen as a chosen category of...
.... of uniformity, for which the distinction between values and e#ect insensitive programs (characterised by the notion of centrality) [21, 27, 10] is essential. Using our axioms, we establish the bijectivity result between fixpoint operators and iterators. Therefore here is an...
Cited by: More
Nominal Games and Full Abstraction for the Nu-Calculus - Abramsky, Ghica.. (Correct)
Modelling Environments in Call-By-Value Programming Languages - Levy, Power, Thielecke (2002) (Correct)
Axioms for Recursion in Call-by-Value - Hasegawa, Kakutani (Correct)
Similar documents (at the sentence level):
54.1%: Premonoidal Categories and Notions of Computation - Power, Robinson (1995) (Correct)
Similar documents based on text: More All
0.5: Order-Enrichment for Categories of Partial Maps - Fiore (1993) (Correct)
0.4: Environments, Continuation Semantics and Indexed Categories - Power, Thielecke (Correct)
0.3: Closed Freyd- and k-Categories - Power, Thielecke (1999) (Correct)
Related documents from co-citation: More All
7: Computational lambda-calculus and monads - Moggi - 1989
5: calculus: an algorithmic interpretation of classical natural deduction (context) - Parigot - 1992
5: Categorical Structure of Continuation Passing Style - Thielecke - 1997
BibTeX entry: (Update)
J. Power and E. Robinson. Premonoidal categories and notions of computation. Draft. 1995. http://citeseer.ist.psu.edu/article/power95premonoidal.html More
@article{ power97premonoidal,
author = "John Power and Edmund Robinson",
title = "Premonoidal Categories and Notions of Computation",
journal = "Mathematical Structures in Computer Science",
volume = "7",
number = "5",
pages = "453--468",
year = "1997",
url = "citeseer.ist.psu.edu/article/power95premonoidal.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~edmundr/publications.html): More
Variations on Algebra: monadicity and generalisations of.. - Robinson (2001) (Correct)
Logical Relations, Data Abstraction, and Structured Fibrations - Power, Robinson (Correct)
Logical Relations and Data Abstraction - Power, Robinson (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