LFCS reports 1996
- Detecting Local Channels in Distributed Poly/ML
Paul Steckler
LFCS report ECS-LFCS-96-340
- Partial Functions in a Total Setting
Simon Finn, Michael Fourman and John Longley
LFCS report ECS-LFCS-96-341
- Algebraic Structure for Bicategory Enriched
Categories
R Gordon and A J Power
LFCS report ECS-LFCS-96-342
- A New Approach to Polynomial-time Generation of Random
Points in Convex Bodies
Russ Bubley, Martin Dyer and Mark Jerrum
LFCS report ECS-LFCS-96-343
- Standard ML Type Generativity as Existential
Quantification
Claudio Russo
LFCS report ECS-LFCS-96-344
- The Polymorphic Pi-Calculus: Theory and
Implementation
David Turner
LFCS report ECS-LFCS-96-345
- Computational applications of calculi based on
monads
Pietro Cenciarelli
LFCS report ECS-LFCS-96-346
- Dual Intuitionistic Linear Logic
Andrew Barber
LFCS report ECS-LFCS-96-347
- Safety Assurance in Interlocking Design
Matthew John Morley
LFCS report ECS-LFCS-96-348
- The Swendsen-Wang process does not always mix
rapidly
Vivek Gore and Mark Jerrum
LFCS report ECS-LFCS-96-349
- Graph Types for Monadic Mobile Processes
Nobuko Yoshida
LFCS report ECS-LFCS-96-350
- The Theory of Interacting Deductions and its Application to
Operational Semantics
Andrew Wilson
LFCS report ECS-LFCS-96-351