People
Events
Research
Home
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
Previous
|
Index
|
Next