Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Power, John"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Category theoretic structure of setoids
Yoshiki Kinoshita
,
John Power
Theoretical Computer Science
546
, 2014, pp. 145-163
Combining algebraic effects with continuations
Martin Hyland
,
Paul Blain Levy
,
Gordon Plotkin
,
John Power
Theoretical Computer Science
375
(1-3), 2007, pp. 20-40
Combining effects: Sum and tensor
Martin Hyland
,
Gordon Plotkin
,
John Power
Theoretical Computer Science
357
(1-3), 2006, pp. 70-99
Discrete Lawvere theories and computational effects
Martin Hyland
,
John Power
Theoretical Computer Science
366
(1-2), 2006, pp. 144-162
Coalgebraic semantics for timed processes
Marco Kick
,
John Power
,
Alex Simpson
Information and Computation
204
(4), 2006, pp. 588-609
Generic models for computational effects
John Power
Theoretical Computer Science
364
(2), 2006, pp. 254-269
Category theory for operational semantics
Marina Lenisa
,
John Power
,
Hiroshi Watanabe
Theoretical Computer Science
327
(1-2), 2004, pp. 135-154
Modelling environments in call-by-value programming languages
Paul Blain Levy
,
John Power
,
Hayo Thielecke
Information and Computation
185
(2), 2003, pp. 182-210
Fixpoint operators for domain equations
John Power
,
Giuseppe Rosolini
Theoretical Computer Science
278
(1-2), 2002, pp. 323-333
Combining a monad and a comonad
John Power
,
Hiroshi Watanabe
Theoretical Computer Science
280
(1-2), 2002, pp. 137-162
Premonoidal categories as categories with algebraic structure
John Power
Theoretical Computer Science
278
(1-2), 2002, pp. 303-321
On the structure of categories of coalgebras
Peter Johnstone
,
John Power
,
Toru Tsujishita
,
Hiroshi Watanabe
,
James Worrell
Theoretical Computer Science
260
(1-2), 2001, pp. 87-117
Data refinement and algebraic structure
Yoshiki Kinoshita
,
John Power
Acta Informatica
36
(9-10), 2000, pp. 693-719
Lax logical relations
Gordon Plotkin
,
John Power
,
Donald Sannella
,
Robert Tennent
Lecture Notes in Computer Science
1853
, 2000, pp. 85-102
Closed Freyd- and
\kappa
-categories
John Power
,
Hayo Thielecke
Lecture Notes in Computer Science
1644
, 1999, pp. 625-634
A modular approach to denotational semantics
John Power
,
Giuseppe Rosolini
Lecture Notes in Computer Science
1443
, 1998, pp. 351-362
Fibrational control structures
Claudio Hermida
,
John Power
Lecture Notes in Computer Science
962
, 1995, pp. 117-129
Control structures
Alex Mifsud
,
Robin Milner
,
John Power
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 188-198