Electronic Notes in Theoretical Computer Science

Type-checking Balloon Types
pp. 1-27(27)
Author: Almeida P.S.

A Core Calculus of Classes and Objects
pp. 1-22(22)
Authors: Bono V.; Patel A.; Shmatikov V.; Mitchell J.

Semantics-Driven Language Design - Statically Type-Safe Virtual Types in Object-Oriented Languages
pp. 1-26(26)
Authors: Bruce K.B.; Vanderwaart J.C.

The MFPS XV Security Session
pp. 1-4(4)
Authors: Meadows C.; Volpano D.

Secrecy in Programming-Language Semantics
pp. 1-15(15)
Author: Abadi M.

Using Abstract Interpretation for the Safe Verification of Security Protocols
pp. 1-22(22)
Author: Bolignano D.

Enforcing Security and Safety with Proof-Carrying Code
pp. 1-15(15)
Author: Necula G.C.

Confinement Properties for Multi-Threaded Programs
pp. 1-11(11)
Authors: Smith G.; Volpano D.

Towards a Strand Semantics for Authentication Logic
pp. 1-15(15)
Author: Syverson P.

Categorical Structure of Asynchrony
pp. 1-24(24)
Author: Selinger P.

Reasoning about recursive processes - Expansion is not always fair
pp. 1-20(20)
Author: Brookes S.

Characterizing Topologies With Bounded Complete Computational Models
pp. 1-11(11)
Authors: Ciesielski K.; Flagg R.C.; Kopperman R.

On the Compact-regular Coreflection of a Stably Locally Compact Locale
pp. 1-16(16)
Author: Escardo M.H.

Semantic Domains, Injective Spaces and Monads - Extended Abstract
pp. 1-16(16)
Authors: Escardo M.H.; Flagg R.C.

Direct Models for the Computational Lambda-calculus
pp. 1-48(48)
Author: Fuhrmann C.

Completeness Classes of Equilogical Spaces
pp. 1-16(16)
Author: Heckmann R.

Contractible Coherence Spaces and Maximal Maps
pp. 1-11(11)
Author: Hu H.

Denotational Semantics of Shape - Past, Present and Future
pp. 1-14(14)
Author: Jay C.B.

From Partial Orders with Projections to Domains - Extended Abstract
pp. 1-12(12)
Author: Kummetz R.

Bisimulation in Untyped Lambda Calculus - Bohm Trees and Bisimulation up to Context
pp. 1-29(29)
Author: Lassen S.B.

The Largest Topological Subcategory of Countably-based Equilogical Spaces
pp. 1-24(24)
Authors: Menni M.; Simpson A.

Local DCPOs, Local CPOs and Local Completions
pp. 1-14(14)
Author: Mislove M.W.

Recursion and Corecursion Have the Same Equational Logic
pp. 1-20(20)
Author: Moss L.S.

Strong Fairness and Recursive Communicating Processes
pp. 1-16(16)
Author: Older S.

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
pp. 1-18(18)
Authors: Polakow J.; Pfenning F.

Modularity and Dyads
pp. 1-14(14)
Authors: Power J.; Robinson E.

A Categorical and Graphical Treatment of Closure Conversion
pp. 1-31(31)
Authors: Schweimeier R.; Jeffrey A.