|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
17
|
From Action Calculi to Linear Logic
– Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin
- 1998
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
5
|
Generic Models for Computational Effects
– John Power
|
|
1
|
The Convex Powerdomain in a Category of Posets Realized By Cpos
– Alex K. Simpson
- 1995
|
|
4
|
Axioms for Definability and Full Completeness
– Samson Abramsky
- 2000
|
|
2
|
Axiomatics for Data Refinement in Call By Value Programming Languages
– John Power, Miki Tanaka
|
|
5
|
Symmetric Action Calculi
– Philippa Gardner, Lucian Wischik
- 1999
|
|
5
|
A Theory of Program Refinement
– Ewen W. K. C. Denney
- 1998
|
|
3
|
Order-Enrichment for Categories of Partial Maps
– Marcelo P. Fiore
- 1993
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
57
|
Game Theoretic Analysis Of Call-By-Value Computation
– Kohei Honda, NOBUKO YOSHIDA
- 1997
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
11
|
Logical Predicates for Intuitionistic Linear Type Theories
– Masahito Hasegawa
- 1999
|
|
1
|
Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations
– Sjoerd E. Crans
- 1999
|
|
|
Graphical Presentations of Interactive Systems
– Philippa Gardner
- 1999
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
3
|
Lifting as a KZ-doctrine
– Marcelo P. Fiore
- 1995
|
|
4
|
A Simple Adequate Categorical Model for PCF
– Torben Braüner
- 1997
|
