LFCS reports 1995
- Towards a Domain Theory for Termination Proofs
Stefan Kahrs
LFCS report ECS-LFCS-95-314
- Correct Separate and Selective Closure Conversion
Paul Steckler
LFCS report ECS-LFCS-95-315
- LEMMA Interface Definition
David C J Matthews and Thierry Le Sergent
LFCS report ECS-LFCS-95-316
- Computational Pólya Theory
Mark Jerrum
LFCS report ECS-LFCS-95-317
- On behavioural abstraction and behavioural satisfaction in
higher-order logic
Martin Hofmann and Donald Sannella
LFCS report ECS-LFCS-95-318
- Proof and Design
Michael P. Fourman
LFCS report ECS-LFCS-95-319
- Typing Abstract Data Types
Judith Underwood
LFCS report ECS-LFCS-95-320
- Tableau for Intuitionistic Predicate Logic as
Metatheory
Judith Underwood
LFCS report ECS-LFCS-95-321
- The definition of Extended ML: a gentle introduction
Stefan Kahrs, Donald Sannella and Andrzej Tarlecki
LFCS report ECS-LFCS-95-322
- The Theory of LEGO
Robert Pollack
LFCS report ECS-LFCS-95-323
- Axiomatising Linear Time Mu-calculus
Roope Kaivola
LFCS report ECS-LFCS-95-324
- LEMMA: A Distributed Shared Memory with Global and Local
Garbage Collection
David C J Matthews and Thierry Le Sergent
LFCS report ECS-LFCS-95-325
- A quasi-polynomial-time algorithm for sampling words from a
context-free language
Vivek Gore and Mark Jerrum
LFCS report ECS-LFCS-95-326
- Extensional concepts in intensional type theory
Martin Hofmann
LFCS report ECS-LFCS-95-327
- The Algebra of Finite State Processes
Peter Michael Sewell
LFCS report ECS-LFCS-95-328
- Formal Derivation of a Class of Computers
Li-Guo Wang
LFCS report ECS-LFCS-95-329
- Lax naturality through enrichment
Yoshiki Kinoshita and John Power
LFCS report ECS-LFCS-95-330
- First Steps on the Representation of Domains
Marcelo P Fiore
LFCS report ECS-LFCS-95-331
- Realizability Toposes and Language Semantics
John R. Longley
LFCS report ECS-LFCS-95-332
- Formal Design of a Class of Computers
Li-Guo Wang and Michael Mendler
LFCS report ECS-LFCS-95-333
- Abstraction of Hardware Construction
Li-Guo Wang and Michael Mendler
LFCS report ECS-LFCS-95-334
- Papers on Poly/ML
David C J Matthews
LFCS report ECS-LFCS-95-335
- Universal Structure and a Categorical Framework for Type
Theory
Makoto Takeyama
LFCS report ECS-LFCS-95-336
- An effective tableau system for the linear time
mu-calculus
Julian Bradfield, Javier Esparza and Angelika Mader
LFCS report ECS-LFCS-95-337
- On the expressivity of the modal mu-calculus
Julian Bradfield
LFCS report ECS-LFCS-95-338
- Adjoint rewriting
Neil Ghani
LFCS report ECS-LFCS-95-339