Skip to main content

Publisher: Elsevier

Volume 1, Number 1, January 2004

Bireflectivity
pp. 1-15(15)
Authors: Freyd, P.J.; O'Hearn, P.W.; Power, A.J.; Takeyama, M.; Tennent, R.D.

Favourites:
ADD

Types, Logic, and Semantics for Nested Databases
pp. 1-21(21)
Authors: Jung, A.; Puhlmann, H.

Favourites:
ADD

Bisimilarity as a Theory of Functional Programming
pp. 1-21(21)
Author: Gordon, A.D.

Favourites:
ADD

Concurrent Semantics for the -calculus
pp. 1-19(19)
Authors: Montanari, U.; Pistore, M.

Favourites:
ADD

A Name-free Account of Action Calculi
pp. 1-18(18)
Author: Gardner, P.

Favourites:
ADD

Denotational Models for Unbounded Nondeterminism
pp. 1-18(18)
Author: Mislove, M.W.

Favourites:
ADD

Syntactic Control of Interference Revisited
pp. 1-40(40)
Authors: O'Hearn, P.W.; Power, A.J.; Takeyama, M.; Tennent, R.D.

Favourites:
ADD

Scott Induction and Equational Proofs
pp. 1-28(28)
Authors: Esik, Z.; Bernatsky, L.

Favourites:
ADD

Objects, Interference, and the Yoneda Embedding
pp. 1-28(28)
Authors: O'Hearn, P.W.; Reddy, U.S.

Favourites:
ADD
Favourites:
ADD

Domain Theory in Learning Processes
pp. 1-18(18)
Author: Edalat, A.

Favourites:
ADD

On a Modal -Calculus for S4
pp. 1-20(20)
Authors: Pfenning, F.; Wong, H.C.

Favourites:
ADD
Favourites:
ADD

Maximal Limit Spaces, Powerspaces, and Scott Domains
pp. 1-20(20)
Author: Hoover, D.N.

Favourites:
ADD
Favourites:
ADD

Solutions of Functorial and Non-Functorial Metric Domain Equations
pp. 1-12(12)
Authors: Alessi, F.; Baldan, P.; Belle, G.; Rutten, J.J.M.M.

Favourites:
ADD

Full Abstraction for Strongly Fair Communicating Processes
pp. 1-20(20)
Authors: Brookes, S.; Older, S.

Favourites:
ADD

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus
pp. 1-23(23)
Authors: Maraist, J.; Odersky, M.; Turner, D.N.; Wadler, P.

Favourites:
ADD

Categories for synchrony and asynchrony
pp. 1-25(25)
Authors: Cockett, J.R.B.; Spooner, D.A.

Favourites:
ADD

Type Inference for Recursively Constrained Types and its Application to OOP
pp. 1-22(22)
Authors: Eifrig, J.; Smith, S.; Trifonov, V.

Favourites:
ADD

Weak Behavioral Subtyping for Types with Mutable Objects
pp. 1-23(23)
Authors: Dhara, K.K.; Leavens, G.T.

Favourites:
ADD

Universality and Powerdomains
pp. 1-17(17)
Author: Nuszler, K.J.

Favourites:
ADD

Operational Semantics of a Focusing Debugger
pp. 1-19(19)
Authors: Bernstein, K.L.; Stark, E.W.

Favourites:
ADD

Generalizing Coherence Spaces and Hypercoherences
pp. 1-15(15)
Author: Lamarche, F.

Favourites:
ADD

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more