@TechReport{ecs-lfcs-86-5, author = "R.D. Tennent", title = "Semantic analysis of specification logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-5", note = "CSR-211-86" }

@TechReport{ecs-lfcs-86-9, author = "R.M. Burstall and David Rydeheard", title = "Computing with categories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-9", note = "CSR-215-86" }

@TechReport{ecs-lfcs-86-11, author = "Robert Harper", title = "Modules and persistence in standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "EcS-LFCS-86-11", note = "CSR-217-86" }

@TechReport{ecs-lfcs-86-12, author = "R.M. Burstall", title = "Research in interactive theorem proving at Edinburgh University", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-12", note = "CSR-218-86" }

@TechReport{ecs-lfcs-86-15, author = "Donald Sannella", title = "Formal specification of ML programs", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-15", note = "CSR-221-86" }

@TechReport{ecs-lfcs-86-16, author = "Donald Sannella and Andrzej Tarlecki", title = "Extended ML : an institution-independent framework for formal program development", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-16", note = "CSR-222-86" }

@TechReport{ecs-lfcs-86-17, author = "Donald Sannella and Andrzej Tarlecki", title = "Toward formal development of programs from algebraic specifications : implementations revisited", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1986, number = "ECS-LFCS-86-17", note = "also published as CSR-223-86" }

@TechReport{ecs-lfcs-87-22, author = "David Walker", title = "Introduction to a calculus of communicating systems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-22", note = "also published as CSR-227-87" }

@TechReport{ecs-lfcs-87-23, author = "Robert Harper, Furio Honsell, Gordon Plotkin", title = "A framework for defining logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-23", note = "also published as CSR-228-87" }

@TechReport{ecs-lfcs-87-24, author = "Colin Stirling", title = "Comparing linear and branching time temporal logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-24", note = "also published as CSR-229-87" }

@TechReport{ecs-lfcs-87-25, author = "Rod Burstall", title = "Inductively defined functions in functional programming languages", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-25", note = "also published as CSR-230-87" }

@TechReport{ecs-lfcs-87-27, author = "Arnon Avron", title = "The semantics and proof theory of linear logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-27", note = "also published as CSR-232-87" }

@TechReport{ecs-lfcs-87-28, author = "Robert Harper, Robin Milner and Mads Tofte", title = "A type discipline for program modules", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-28", note = "also published as CSR-233-87" }

@TechReport{ecs-lfcs-87-31, author = "Arnon Avron, Furio A. Honsell and Ian A. Mason", title = "Using typed lambda calculus to implement formal systems on a machine", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-31", note = "also published as CSR-237-87" }

@TechReport{ecs-lfcs-87-32, author = "Ian A. Mason", title = "Hoare's logic in the LF", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-32", note = "also published as CSR-238-87" }

@TechReport{ecs-lfcs-87-33, author = "Robin Milner", title = "Changes to the standard ML Core Language", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-33", note = "also published as CSR-240-87" }

@TechReport{ecs-lfcs-87-41, author = "Don Sannella", title = "Fifth workshop on specification of abstract data types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-41", note = "also published as CSR-249-87" }

@TechReport{ecs-lfcs-87-42, author = "John C. Mitchell and Robert Harper", title = "The essence of ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1987, number = "ECS-LFCS-87-42", note = "also published as CSR-250-87" }

@TechReport{ecs-lfcs-88-44, author = "Tatsuya Hagino", title = "A typed lambda calculus with categorical type constructors", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-44", note = "also published as CSR-256-88" }

@TechReport{ecs-lfcs-88-46, author = "Robin Milner", title = "Operational and algebraic semantics of concurrent processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-46", note = "also published as CSR-258-88" }

@TechReport{ecs-lfcs-88-47, author = "Marco Forti & Furio Honsell", title = "Models of self-descriptive set theories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-47", note = "also published as CSR-259-88" }

@TechReport{ecs-lfcs-88-48, author = "Arnon Avron", title = "Foundations and proof theory of 3-valued logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-48", note = "also published as CSR-260-88" }

@TechReport{ecs-lfcs-88-49, author = "Christopher M N Tofts", title = "Temporal ordering for concurrency", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-49", note = "also published as CSR-261-88" }

@TechReport{ecs-lfcs-88-50, author = "Andrew D Gordon", title = "How to breed hybrid compiler/interpreters", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-50", note = "also published as CSR-262-88" }

@TechReport{ecs-lfcs-88-52, author = "Robert Harper, Furio Honsell, Gordon Plotkin", title = "A framework for defining logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-52", note = "also published as CSR-264-88", annote = "Workshop on general logic Edinburgh, February 1987 / editors, A. Avron, R. Harper, F. Honsell, I. Mason, G. Plotkin" }

@TechReport{ecs-lfcs-88-53, author = "J C Reynolds & G D Plotkin", title = "On functors expressible in the polymorphic typed lambda calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-53", note = "also published as CSR-265-88" }

@TechReport{ecs-lfcs-88-55, author = "A. Appel, D. MacQueen, R. Milner, M. Tofte", title = "Unifying exceptions with constructors in standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-55", note = "also published as CSR-266-88" }

@TechReport{ecs-lfcs-88-56, author = "Donald Sannella", title = "A survey of formal software development methods", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-56", note = "also published as CSR-268-88" }

@TechReport{ecs-lfcs-88-57, author = "Zhaohui Luo", title = "A higher-order calculus and theory abstraction", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-57", note = "also published as CSR-269-88" }

@TechReport{ecs-lfcs-88-58, author = "Zhaohui Luo", title = "CC{_{§ã}^{¡ç}} and its meta theory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, key = "CC¡ç§ã and its meta theory", number = "ECS-LFCS-88-58", note = "also published as CSR-270-88" }

@TechReport{ecs-lfcs-88-59, author = "Robert Harper", title = "Constructing type systems over an operational semantics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-59", note = "also published as CSR-271-88" }

@TechReport{ecs-lfcs-88-60, author = "A. Tarlecki, R.M. Burstall and J.A. Goguen", title = "Some fundamental algebraic tools for the semantics of computation Part 3 : Indexed categories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-60", note = "also published as CSR-272-88" }

@TechReport{ecs-lfcs-88-61, author = "Brian Ritchie and Paul Taylor", title = "The interactive proof editor / An experiment in interactive theorem", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-61", note = "also published as CSR-273-88" }

@TechReport{ecs-lfcs-88-62, author = "Robert Harper, Robin Milner, Mads Tofte", title = "The definition of standard ML version 2", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-62", note = "also published as CSR-274-88" }

@TechReport{ecs-lfcs-88-64, author = "Con Bradley, David Rydeheard, Martin Seysen and Glynn Winskel (1977/88)", title = "Edinburgh University postgraduate examination questions in computation theory 1978-1988", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, key = "Luca Cardelli, Luis Damas, Mark Jerrum (1978/79) Gordon Brebner, Li Wei, Brian Monahan, Kevin Mitchell (1979/80), Rocco De Nicola, Peter Dybjer, Mark Millington, Carl Sturtivant (1980/81), Flemming Nielson, Barbara Paech, Hanne Riis Nielson, Oliver Schoett (1981/82), Ilaria Castellani, Andreas Goerdt, K.V.S. Prasad, Brian Ritchie, Allen Stoughton (1982/83), Tatsuya Hagino, Kim Larsen, Alistair Sinclair (1983/84), Marek Bednarczyk, David Berry, Martin Illsley (1984/85) Simon Brown, Mads Dam, Claire Jones (1985/86), Jordi Farr{\'{e}}s-Casals, James Harland, Pawel P{\c{a}}czkowski (1986/87), Jamie Andrews, Jo Blishen, Julian Bradfield (1987/88)", number = "ECS-LFCS-88-64", note = "also published as CSR-276-88" }

@TechReport{ecs-lfcs-88-65, author = "Robin Milner and Mads Tofte", title = "Co-induction in relational semantics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-65", note = "also published as CSR-278-88" }

@TechReport{ecs-lfcs-88-66, author = "Eugenio Moggi", title = "Computational Lambda-calculus and monads", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-66", note = "also published as CSR-279-88" }

@TechReport{ecs-lfcs-88-67, author = "Robert Harper", title = "An equational formulation of LF", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-67", note = "also published as CSR-280-88" }

@TechReport{ecs-lfcs-88-69, author = "Rod Burstall and Furio Honsell", title = "A natural deduction treatment of operational semantics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-69", note = "also published as CSR-282-88" }

@TechReport{ecs-lfcs-88-70, author = "Paul Taylor", title = "Using constructions as a metalanguage", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1988, number = "ECS-LFCS-88-70", note = "also published as CSR-285-88" }

@TechReport{ecs-lfcs-89-71, author = "Donald Sannella and Andrzej Tarlecki", title = "Toward formal development of ML programs : foundations and methodology - Preliminary version -", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-71", note = "also published as CSR-289-89" }

@TechReport{ecs-lfcs-89-72, author = "Jordi Farres-Casals", title = "Proving correctness of constructor implementations", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-72", note = "also published as CSR-286-89" }

@TechReport{ecs-lfcs-89-73, author = "Mads Tofte", title = "Four lectures on standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-73", note = "also published as CSR-290-89" }

@TechReport{ecs-lfcs-89-75, author = "Robert Harper, Donald Sannella, Andrzej Tarlecki", title = "Structure and representation in LF", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-75", note = "also published as CSR-292-89" }

@TechReport{ecs-lfcs-89-76, author = "Bernhard Steffen", title = "Characteristic formulae for CCS with divergence", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-76", note = "also published as CSR-294-89" }

@TechReport{ecs-lfcs-89-77, author = "James H. Andrews", title = "Proof-theoretic characterisations of logic programming", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-77", note = "also published as CSR-295-89" }

@TechReport{ecs-lfcs-89-78, author = "Colin Stirling and David Walker", title = "Local model checking in the modal mu-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-78", note = "also published as CSR-296-89" }

@TechReport{ecs-lfcs-89-79, author = "Bernhard Steffen, Jens Knoop", title = "Finite constants: Characterizations of a new decidable set of constants", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-79", note = "also published as CSR-297-89" }

@TechReport{ecs-lfcs-89-80, author = "Mark Tarver", title = "DIALOG : A theorem-proving environment designed to unify functional and logic programming", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-80", note = "also published as CSR-298-89" }

@TechReport{ecs-lfcs-89-81, author = "Robert Harper, Robin Milner, Mads Tofte", title = "The definition of standard ML Version 3", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-81", note = "also publishe as CSR-299-89" }

@TechReport{ecs-lfcs-89-82, author = "Bernhard Steffen", title = "Optimal data flow analysis via observational equivalence", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-82", note = "also published as CSR-300-89" }

@TechReport{ecs-lfcs-89-83, author = "Rance Cleaveland, Joachim Parrow, Bernhard Steffen", title = "The concurrency workbench: a semantics based tool for the verification of concurrent system", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-83", note = "also published as CSR-301-89" }

@TechReport{ecs-lfcs-89-85, author = "Robin Milner, Joachim Parrow, David Walker", title = "A calculus of mobile processes, Part I", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-85", note = "also published as CSR-302-89" }

@TechReport{ecs-lfcs-89-86, author = "Robin Milner, Joachim Parrow, David Walker", title = "A calculus of mobile processes, Part II", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-86", note = "also published as CSR-303-89" }

@TechReport{ecs-lfcs-89-87, author = "Carolyn Brown", title = "Relating Petri nets to formulae of linear logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-87", note = "also published as CSR-304-89" }

@TechReport{ecs-lfcs-89-88, author = "Christian-Emil Ore", title = "On natural deduction style semantics, environments and stores", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-88", note = "also published as CSR-305-89" }

@TechReport{ecs-lfcs-89-89, author = "Paul Taylor", title = "Playing with Lego : Some examples of developing mathematics in the calculus of constructions", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-89", note = "also published as CSR-306-89" }

@TechReport{ecs-lfcs-89-90, author = "R.M. Burstall, Joseph A. Goguen, A. Tarlecki", title = "Some fundamental algebraic tools for the semantics of computation Part 3 : Indexed categories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-90", note = "also published as CSR-307-89" }

@TechReport{ecs-lfcs-89-91, author = "D.J. Walker", title = "Automated analysis of mutual exclusion algorithms using CCS", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-91", note = "also published as CSR-308-89" }

@TechReport{ecs-lfcs-89-92, author = "C.Barry Jay", title = "The structure of free closed categories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-92", note = "also published as CSR-310-89" }

@TechReport{ecs-lfcs-89-93, author = "Sun, Yong", title = "Equations, dependent equations and quasi-dependent equations - on their unification", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-93", note = "also published as CSR-311-89" }

@TechReport{ecs-lfcs-89-94, author = "Sun, Yong", title = "Equational characterization of binding (extended abstract)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-94", note = "also published as CSR-312-89" }

@TechReport{ecs-lfcs-89-95, author = "Sun, Yong", title = "Logical design of VLSI circuit with extension of uncertainty (or monotonic functional completeness of kleene ternary logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-95", note = "also published as CSR-313-89" }

@TechReport{ecs-lfcs-89-96, author = "Carolyn Brown", title = "Petri nets as quantales", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-96", note = "also published as CSR-314-89" }

@TechReport{ecs-lfcs-89-97, author = "Faron Moller", title = "The nonexistence of finite axiomatisations for CCS congruences", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-97", note = "also published as CSR-315-89" }

@TechReport{ecs-lfcs-89-98, author = "Sun, Yong", title = "Self-independent Petri Nets (or a dead-lock-free paradigm)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-98", note = "also published as CSR-316-89" }

@TechReport{ecs-lfcs-89-99, author = "Bernhard Steffen, C. Barry Jay, Michael Mendler", title = "Compositional characterization of observable program properties", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-99", note = "also published as CSR-317-89" }

@TechReport{ecs-lfcs-89-100, author = "Pawel P{\c{a}}czkowski", title = "Proving total correctness of concurrent programs without using auxiliary variables", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, key = "Pawel Paczkowski", number = "ECS-LFCS-89-100", note = "also published as CSR-318-89" }

@TechReport{ecs-lfcs-89-101, author = "Donald Sannella, Fabio da Silva", title = "Syntax. typechecking and dynamic semantics for extended ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-101", note = "also published as CSR-320-89" }

@TechReport{ecs-lfcs-89-102, author = "Donald Sannella", title = "Formal program development in extended ML for the working programmer", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-102", note = "also published as CSR-321-89" }

@TechReport{ecs-lfcs-89-103, author = "Chris Tofts", title = "Timing concurrent processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-103", note = "also published as CSR-322-89" }

@TechReport{ecs-lfcs-89-104, author = "Faron Moller, Chris Tofts", title = "A temporal calculus of communicating systems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1989, number = "ECS-LFCS-89-104", note = "also published as CSR-323-89" }

@TechReport{ecs-lfcs-90-106, author = "Joseph A. Goguen, Rod Burstall", title = "Institutions: abstract model theory for specification and programming ", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-106" }

@TechReport{ecs-lfcs-90-107, author = "C. Barry Jay", title = "Extending properties to categories of partial maps", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-107" }

@TechReport{ecs-lfcs-90-108, author = "Chris Tofts", title = "Relative frequency in a synchronous calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-108" }

@TechReport{ecs-lfcs-90-109, author = "Matthew J. Morley", title = "Tactics for state space reduction on the concurrency workbench", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-109" }

@TechReport{ecs-lfcs-90-110, author = "James H. Andrews", title = "The logical structure of sequential prolog", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-110" }

@TechReport{ecs-lfcs-90-111, author = "David Pym and Lincoln Wallen", title = "Investigations into proof-search in a system of first-order dependent function types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-111" }

@TechReport{ecs-lfcs-90-112, author = "Robert Harper, John C. Mitchell and Eugenio Moggi", title = "Higher-order modules and the phase distinction", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-112" }

@TechReport{ecs-lfcs-90-113, author = "Eugenio Moggi", title = "An abstract view of programming languages", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-113" }

@TechReport{ecs-lfcs-90-114, author = "Christian Lengauer and Jingling Xue", title = "A systolic array for pyramidal algorithms", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-114" }

@TechReport{ecs-lfcs-90-115, author = "Julian Bradfield and Colin Stirling", title = "Local model checking for infinite state spaces", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-115" }

@TechReport{ecs-lfcs-90-116, author = "Jingling Xue and Christian Lengauer", title = "On the description and development of one-dimensional systolic arrays", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-116" }

@TechReport{ecs-lfcs-90-117, author = "Jordi Farr{\'{e}}s-Casals", title = "Proving correctness w.r.t. specifications with hidden parts", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, key = "Jordi Farres-Casals", number = "ECS-LFCS-90-117" }

@TechReport{ecs-lfcs-90-121, author = "Zhaohui Luo", title = "A problem of adequacy: conservativity of calculus of constructions over higher-order logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-121" }

@TechReport{ecs-lfcs-90-122, author = "David Walker", title = "{$\pi$}-calculus semantics of object-oriented programming languages", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, key = "pi-calculus semantics of object-oriented programming languages", number = "ECS-LFCS-90-122" }

@TechReport{ecs-lfcs-90-123, author = "Mads Dam", title = "Translating CTL into the modal {$\mu$}-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, key = "Translating CTL into the modal mu-calculus", number = "ECS-LFCS-90-123" }

@TechReport{ecs-lfcs-90-124, author = "James Harland and David Pym", title = "The uniform proof-theoretic foundation of linear logic programming", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-124" }

@TechReport{ecs-lfcs-90-126, author = "Fabio da Silva", title = "Towards a formal framework for evaluation of operational semantics specifications", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-126" }

@TechReport{ecs-lfcs-90-127, author = "Liang Chen, Stuart Anderson, Faron Moller", title = "A timed calculus of communicating systems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-127" }

@TechReport{ecs-lfcs-90-128, author = "Chris Tofts", title = "The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1990, number = "ECS-LFCS-90-128" }

@TechReport{ecs-lfcs-91-131, author = "Zhaohui Luo", title = "Program specification and data refinement in type theory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-131" }

@TechReport{ecs-lfcs-91-132, author = "Rod Burstall", title = "Computer assisted proof for mathematics: an introduction using the LEGO proof system", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-132" }

@TechReport{ecs-lfcs-91-133, author = "Rod Burstall and James McKinna", title = "Deliverables: an approach to program development in the calculus of constructions", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-133" }

@TechReport{ecs-lfcs-91-134, author = "Michael Barnett and Christian Lengauer", title = "A systolizing compilation scheme", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-134" }

@TechReport{ecs-lfcs-91-135, author = "Bernd Krieg-Br{\"{u}}ckner, Donald Sannella", title = "Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Bernd Krieg-Bruckner" number = "ECS-LFCS-91-135" }

@TechReport{ecs-lfcs-91-136, author = "Robin Milner, Joachim Parrow, David Walker", title = "Modal logics for mobile processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-136" }

@TechReport{ecs-lfcs-91-137, author = "Glenn Bruns and Stuart Anderson", title = "The formalization and analysis of a communications protocol", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-137" }

@TechReport{ecs-lfcs-91-138, author = "Donald Sannella and Andrzej Tarlecki", title = "Extended ML: past, present and future", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-138" }

@TechReport{ecs-lfcs-91-139, author = "Donald Sannella and Andrzej Tarlecki", title = "A kernel specification formalism with higher- order parameterisation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-139" }

@TechReport{ecs-lfcs-91-143, author = "Faron Moller, Chris Tofts", title = "Relating processes with respect to speed", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-143" }

@TechReport{ecs-lfcs-91-144, author = "Chris Tofts", title = "Task allocation in monomorphic ant species", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-144" }

@TechReport{ecs-lfcs-91-145, author = "Hans H{\"{u}}ttel and Colin Stirling", title = "Actions speak louder than words: proving bisimilarity for context-free processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Hans Huttel", number = "ECS-LFCS-91-145" }

@TechReport{ecs-lfcs-91-146, author = "David Pym, Lincoln Wallen", title = "Proof search in the {$\lambda\Pi$}-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Proof search in the lambda Pi-calculus", number = "ECS-LFCS-91-146" }

@TechReport{ecs-lfcs-91-148, author = "Dave Berry", title = "The Edinburgh SML library", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-148" }

@TechReport{ecs-lfcs-91-151, author = "C. Barry Jay", title = "Tail recursion via universal invariants", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-151" }

@TechReport{ecs-lfcs-91-152, author = "Jingling Xue and Christian Lengauer", title = "The systematic derivation of control signals for systolic arrays", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-152" }

@TechReport{ecs-lfcs-91-153, author = "Davide Sangiorgi, Christian Lengauer", title = "An improved systolic array for string correction", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-153" }

@TechReport{ECS-LFCS-91-154, author = "Zhaohui Luo", title = "A unifying theory of dependent types I", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-154" }

@TechReport{ecs-lfcs-91-155, author = "K.G.W. Goossens", title = "Embedding a CHDDL in a proof system", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-91-155" }

@TechReport{ecs-lfcs-91-156, author = "Jingling Xue, Christian Lengauer", title = "The synthesis of control signals for one-dimensional systolic arrays", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-156" }

@TechReport{ecs-lfcs-91-157, author = "Colin Stirling", title = "Modal and temporal logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-157" }

@TechReport{ecs-lfcs-91-158, author = "Joshua S Hodas, Dale Miller", title = "Logic programming in a fragment of intuitionistic linear logic: extended abstract", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-158" }

@TechReport{ecs-lfcs-91-159, author = "Dale Miller", title = "A logic programming language with lambda-abstraction, function variables, and simple unification", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-159" }

@TechReport{ecs-lfcs-91-160, author = "Dale Miller", title = "Unification of simply typed lambda-terms as logic programming", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-160" }

@TechReport{ecs-lfcs-91-161, author = "Gianluigi Bellin", title = "Proof nets for multiplicative and additive linear logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-161" }

@TechReport{ecs-lfcs-91-162, author = "Robert Harper, Furio Honsell, Gordon Plotkin", title = "A framework for defining logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-162" }

@TechReport{ecs-lfcs-91-164, author = "Mark Jerrum", title = "An analysis of a Monte Carlo algorithm for estimating the permanent", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-164" }

@TechReport{ecs-lfcs-91-166, author = "E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi", title = "Classes of systolic Y-tree automata and a comparison with systolic trellis automata", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-166" }

@TechReport{ecs-lfcs-91-167, author = "Gianluigi Bellin and Jussi Ketonen", title = "A decision procedure revisited: notes on direct logic, linear logic and its implementation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-167" }

@TechReport{ecs-lfcs-91-168, author = "James Harland, David Pym", title = "The uniform proof-theoretic foundation of linear logic programming (extended abstract)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-168" }

@TechReport{ecs-lfcs-91-169, author = "Jan Friso Groote, Hans H{\"{u}}ttel", title = "Undecidable equivalences for basic process algebra", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Hans Huttel", number = "ECS-LFCS-91-169" }

@TechReport{ecs-lfcs-91-173, author = "Hans H{\"{u}}ttel", title = "Silence is golden: branching bisimilarity is decidable for context-free processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Hans Huttel", number = "ECS-LFCS-91-173" }

@TechReport{ecs-lfcs-91-174, author = "David C. J. Matthews", title = "A distributed concurrent implementation of standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-174" }

@TechReport{ecs-lfcs-91-175, author = "Glenn Bruns", title = "A language for value-passing CCS", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-175" }

@TechReport{ecs-lfcs-91-176, author = "Christian Lengauer, Jingling Xue", title = "Recent developments in systolic design", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-176" }

@TechReport{ecs-lfcs-91-177, author = "Edmund Kazmierczak", title = "Modularizing the specification of a small database system in extended ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-177" }

@TechReport{ecs-lfcs-91-178, author = "Alistair Sinclair", title = "Improved bounds for mixing rates of Markov chains and multicommodity flow", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-178" }

@TechReport{ecs-lfcs-91-179, author = "Mark Jerrum, Umesh Vazirani", title = "A mildly exponential approximation algorithm for the permanent", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-179" }

@TechReport{ecs-lfcs-91-180, author = "Robin Milner", title = "The polyadic {$\pi$}-calculus: a tutorial", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "The polyadic pi-calculus: a tutorial", number = "ECS-LFCS-91-180" }

@TechReport{ecs-lfcs-91-181, author = "C. Barry Jay", title = "Coherence in category theory and the Church-Rosser property", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-181" }

@TechReport{ecs-lfcs-91-182, author = "C. Barry Jay", title = "Fixpoint and loop constructions as colimits", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-182" }

@TechReport{ecs-lfcs-91-183, author = "C. Barry Jay", title = "Long {$\beta\eta$} normal forms and confluence", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "Long beta eta normal forms and confluence", number = "ECS-LFCS-91-183" }

@TechReport{ecs-lfcs-91-184, author = "Liang Chen", title = "An interleaving model for real-time systems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-184" }

@TechReport{ecs-lfcs-91-185, author = "Liang Chen", title = "Decidability and completeness in real-time processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-185" }

@TechReport{ecs-lfcs-91-186, author = "M.J. Morley", title = "Modelling British rail's interlocking logic: geographic data correctness", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-186" }

@TechReport{ecs-lfcs-91-187, author = "C. Barry Jay", title = "Modelling reduction in confluent categories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-187" }

@TechReport{ecs-lfcs-91-188, author = "J. Levy, J. Agust{\'{i}}, F. Esteva, P. Garc{\'{i}}a", title = "An ideal model for an extended {$\lambda$}-calculus with refinement", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, key = "J. Agusti, P. Garcia", number = "ECS-LFCS-91-188" }

@TechReport{ecs-lfcs-91-189, author = "Davide Sangiorgi", title = "The lazy lambda calculus in a concurrency scenario", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-189" }

@TechReport{ecs-lfcs-91-190, author = "A. J. Power", title = "An n-categorical pasting theorem", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1991, number = "ECS-LFCS-91-190" }

@TechReport{ecs-lfcs-92-192, author = "P. W. O'Hearn, R. D. Tennent", title = "Semantics of local variables", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-192" }

@TechReport{ecs-lfcs-92-193, author = "Jan Friso Groote, Faron Moller", title = "Verification of parallel systems via decomposition", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-193" }

@TechReport{ecs-lfcs-92-195, author = "M. G. Read, E. A. Kazmierczak", title = "Formal program development in modular prolog: a case study", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-195" }

@TechReport{ecs-lfcs-92-197, author = "Michael Barnett, Christian Lengauer", title = "Loop parallelization and unimodularity", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-197" }

@TechReport{ecs-lfcs-92-199, author = "J. C. Bradfield", title = "A proof assistant for symbolic model-checking", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-199" }

@TechReport{ecs-lfcs-92-200, author = "Benjamin C. Pierce", title = "Intersection types and bounded polymorphism", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-200" }

@TechReport{ecs-lfcs-92-201, author = "Lars Eilstrup Rasmussen", title = "Approximating the permanent: a simple approach", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-201" }

@TechReport{ecs-lfcs-92-202, author = "Zhaohui Luo", title = "A unifying theory of dependent types: the schematic approach", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-202" }

@TechReport{ecs-lfcs-92-204, author = "Donald Sannella, Andrzej Tarlecki", title = "Toward formal development of programs from algebraic specifications: model-theoretic foundations", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-204" }

@TechReport{ecs-lfcs-92-205, author = "C. Barry Jay", title = "Tail recursion through universal invariants", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-205" }

@TechReport{ecs-lfcs-92-206, author = "Zhaohui Luo and Rod Burstall", title = "A set-theoretic setting for structuring theories in proof development", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-206" }

@TechReport{ecs-lfcs-92-208, author = "Wesley Phoa", title = "An introduction to fibrations, topos theory, the effective topos and modest sets", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-208" }

@TechReport{ecs-lfcs-92-209, author = "Healfdene Goguen, Zhaohui Luo", title = "Inductive data types: well-ordering types revisited", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-209" }

@TechReport{ecs-lfcs-92-210, author = "Leslie Ann Goldberg", title = "Listing graphs that satisfy first order sentences", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-210" }

@TechReport{ecs-lfcs-92-211, author = "Zhaohui Luo and Robert Pollack", title = "LEGO proof development system: user's manual", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-211" }

@TechReport{ecs-lfcs-92-212, author = "J.A. Harland, D.J. Pym", title = "On resolution in fragments of classical linear logic (extended abstract)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-212" }

@TechReport{ecs-lfcs-92-213, author = "Wesley Phoa, Michael Fourman", title = "A proposed categorical semantics for Pure ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-213" }

@TechReport{ecs-lfcs-92-214, author = "Wesley Phoa", title = "From term models to domains", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-214" }

@TechReport{ecs-lfcs-92-215, author = "Wesley Phoa", title = "Building domains from graph models", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-215" }

@TechReport{ecs-lfcs-92-216, author = "Mads Dam", title = "Process-algebraic interpretations of positive linear and relevant logics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-216" }

@TechReport{ecs-lfcs-92-217, author = "Mads Dam", title = "CTL{$^{*}$} and ECTL{$^{*}$} as fragments of the modal {$\mu$}-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "CTL* and ECTL* as fragments of the modal mu-calculus", number = "ECS-LFCS-92-217" }

@TechReport{ecs-lfcs-92-218, author = "Soren Christensen, Hans H{\"{u}}ttel, Colin Stirling", title = "Bisimulation equivalence is decidable for all context-free processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "Hans Huttel", number = "ECS-LFCS-92-218" }

@TechReport{ecs-lfcs-92-219, author = "Stefan Kahrs", title = "Unlimp uniqueness as a leitmotiv for implementation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-219" }

@TechReport{ecs-lfcs-92-221, author = "Colin Stirling", title = "Modal and temporal logics for processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-221" }

@TechReport{ecs-lfcs-92-222, author = "Donald Sannella, Stefan Sokolowski and Andrzej Tarlecki", title = "Toward formal development of programs from algebraic specifications: parameterisation revisited", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-222" }

@TechReport{ecs-lfcs-92-223, author = "P.W. O'Hearn, R. D. Tennent", title = "Relational parametricity and local variables (preliminary report)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-223" },

@TechReport{ecs-lfcs-92-224, author = "Mads Dam", title = "Fixpoints of B{\"{u}}chi automata", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "Fixpoints of Buchi automata", number = "ECS-LFCS-92-224" }

@TechReport{ecs-lfcs-92-225, author = "Benjamin C. Pierce, David N. Turner", title = "Object-oriented programming without recursive types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992"", number = "ECS-LFCS-92-225" }

@TechReport{ecs-lfcs-92-226, author = "M. Hofmann and Benjamin Pierce", title = "An abstract view of objects and subtyping (preliminary report)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-226" }

@TechReport{ecs-lfcs-92-228, author = "Martin Hofmann", title = "Formal development of functional programs in type theory -- a case study", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-228" }

@TechReport{ecs-lfcs-92-229, author = "David J. Pym", title = "A unification algorithm for the {$\lambda\Pi$}-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "A unification algorithm for the lambdaPi-calculus", number = "ECS-LFCS-92-229" }

@TechReport{ecs-lfcs-92-230, author = "Thorsten Altenkirch", title = "Brewing strong normalization proofs with LEGO", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-230" }

@TechReport{ecs-lfcs-92-231, author = "K. G. W. Goossens", title = "Operational semantics based formal symbolic simulation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-231" }

@TechReport{ecs-lfcs-92-232, author = "G. Bellin, P.J. Scott", title = "On the {$\pi$}-calculus and linear logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "On the pi-calculus and linear logic", number = "ECS-LFCS-92-232" }

@TechReport{ecs-lfcs-92-233, author = "Fabio Q. B. da Silva", title = "Correctness proofs of compilers and debuggers: an overview of an approach based on structural operational semantics (extended abstract of Ph.D. thesis)", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-233" }

@TechReport{ecs-lfcs-92-234, author = "Leslie Ann Goldberg and Mark Jerrum", title = "A sub-logarithmic communication algorithm for the completely connected optical communication parallel computer", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-234" }

@TechReport{ecs-lfcs-92-235, author = "Nick Rothwell", title = "Functional compilation from the standard ML core language to lambda calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-235" }

@TechReport{ecs-lfcs-92-236, author = "Nick Rothwell", title = "Parsing in the SML Kit", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-236" }

@TechReport{ecs-lfcs-92-237, author = "Nick Rothwell", title = "Miscellaneous design issues in the ML Kit", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-237" }

@TechReport{ecs-lfcs-92-238, author = "Stefan Kahrs", title = "Polymorphic type checking by interpretation of code", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-238" }

@TechReport{ecs-lfcs-92-239, author = "Glenn Bruns", title = "A case study in safety-critical design", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-239" }

@TechReport{ecs-lfcs-92-240, author = "Fabio Q. B. da Silva", title = "Observational equivalence and compiler correctness", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-240" }

@TechReport{ecs-lfcs-92-242, author = "Rod Burstall and James McKinna", title = "Deliverables: a categorical approach to program development in type theory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-242" }

@TechReport{ecs-lfcs-92-243, author = "C. Barry Jay and Neil Ghani", title = "The virtues of eta-expansion", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-243" }

@TechReport{ecs-lfcs-92-244, author = "S. Christensen, Y. Hirshfeld and F. Moller", title = "Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-244" }

@TechReport{ecs-lfcs-92-245, author = "Gordon Plotkin", title = "A semantics for static type inference", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-245" }

@TechReport{ecs-lfcs-92-246, author = "David J. Pym and Lincoln A. Wallen", title = "Logic programming via proof-valued computations", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-246" }

@TechReport{ecs-lfcs-92-248, author = "James Harland and David Pym", title = "A synopsis on the identification of linear logic programming languages", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-248" }

@TechReport{ecs-lfcs-92-249, author = "Robin Milner", title = "Action structures", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-249" }

@TechReport{ecs-lfcs-92-251, author = "Philippa Gardner", title = "Equivalences between logics and their representing type theories", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, number = "ECS-LFCS-92-251" }

@TechReport{ecs-lfcs-92-253, author = "Rod Burstall and R{\u{a}}zvan Diaconescu", title = "Hiding and behaviour: an institutional approach", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1992, key = "Razvan Diaconescu", number = "ECS-LFCS-92-253" }

@TechReport{ecs-lfcs-93-254, author = "R. Gordon, A. J. Power", title = "Enrichment through variation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-254" }

@TechReport{ecs-lfcs-93-256, author = "Benjamin C. Pierce, David N. Turner", title = "Statically typed friendly functions via partially abstract types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-256" }

@TechReport{ecs-lfcs-93-257, author = "Stefan Kahrs", title = "Mistakes and ambiguities in the definition of standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-257" }

@TechReport{ecs-lfcs-93-259, author = "Martin Dyer, Alan Frieze, Mark Jerrum", title = "Approximately counting Hamilton cycles in dense graphs", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-259" }

@TechReport{ecs-lfcs-93-260, author = "Mark Jerrum, Gregory Sorkin", title = "Simulated annealing for graph bisection", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-260" }

@TechReport{ecs-lfcs-93-261, author = "Petr Jan{\u{c}}ar", title = "Decidability questions for bisimilarity of Petri nets and some related problems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, key = "Petr Jancar", number = "ECS-LFCS-93-261" }

@TechReport{ecs-lfcs-93-262, author = "Joachim Parrow and Davide Sangiorgi", title = "Algebraic theories for name-passing calculi", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-262" }

@TechReport{ecs-lfcs-93-263, author = "Angus Duggan", title = "Literate programming: a review", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-263" }

@TechReport{ecs-lfcs-93-264, author = "Robin Milner", title = "Action structures for the ¦Ð-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-264" }

@TechReport{ecs-lfcs-93-265, author = "David J. Pym", title = "Errata and remarks", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-265" }

@TechReport{ecs-lfcs-93-267, author = "R.D. Tennent", title = "Correctness of data representations in Algol-like languages", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-267" }

@TechReport{ecs-lfcs-93-269, author = "K. G. W. Goossens", title = "The formalisation of a hardware description language in a proof system: motivation and applications", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-269" }

@TechReport{ecs-lfcs-93-270, author = "Davide Sangiorgi", title = "A theory of bisimulation for the ¦Ð-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-270" }

@TechReport{ecs-lfcs-93-272, author = "Mark Jerrum", title = "Uniform sampling modulo a group of symmetries using Markov chain simulation", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-272" }

@TechReport{ecs-lfcs-93-273, author = "K. G. W. Goossens", title = "Structure and behaviour in hardware verification", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-273" }

@TechReport{ecs-lfcs-93-274, author = "Javier Esparza", title = "On the decidability of model checking for several ¦Ì-calculi and Petri nets", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-274" }

@TechReport{ecs-lfcs-93-275, author = "Adriana B. Compagnoni, Benjamin C. Pierce", title = "Multiple inheritance via intersection types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, number = "ECS-LFCS-93-275" }

@TechReport{ecs-lfcs-93-276, author = "Hans H{\"{u}}ttel", title = "Undecidable equivalences for basic parallel processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1993, key = "Hans Huttel", number = "ECS-LFCS-93-276" }

@TechReport{ecs-lfcs-94-280, author = "Martin Steffen, Benjamin Pierce", title = "Higher-order subtyping", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-280" }

@TechReport{ecs-lfcs-94-281, author = "Adriana B. Compagnoni", title = "Subtyping in {F^{¦Ø}_{¦«}} is decidable", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "Subtyping in F is decidable", number = "ECS-LFCS-94-281" }

@TechReport{ecs-lfcs-94-282, author = "Davide Sangiorgi", title = "Locality and non-interleaving semantics in calculi for mobile processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-282" }

@TechReport{ecs-lfcs-94-283, author = "Stefan Kahrs, Donald Sannella, Andrzej Tarlecki", title = "Interfaces and extended ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-283" }

@TechReport{ecs-lfcs-94-284, author = "Stefan Kahrs", title = "First-class polymorphisms for ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-284" }

@TechReport{ecs-lfcs-94-285, author = "Bj{\"{o}}rn Victor, Faron Moller", title = "The mobility workbench a tool for the ¦Ð-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "Bjorn Victor", number = "ECS-LFCS-94-285" }

@TechReport{ecs-lfcs-94-286, author = "Yoram Hirshfeld, Mark Jerrum, Faron Moller", title = "A polynomial algorithm for deciding bisimilarity of normed context-free processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-286" }

@TechReport{ecs-lfcs-94-287, author = "Glenn Bruns", title = "Applying process refinement to a safety-relevant system", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-287" }

@TechReport{ecs-lfcs-94-288, author = "Yoram Hirshfeld, Mark Jerrum, Faron Moller", title = "A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-288" }

@TechReport{ecs-lfcs-94-289, author = "A.J. Power", title = "Why tricategories?", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-289" }

@TechReport{ecs-lfcs-94-290, author = "Mark Jerrum", title = "A very simple algorithm for estimating the number of ¦Ê-colourings of a low-degree graph", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "A very simple algorithm for estimating the number of k-colourings of a low-degree graph", number = "ECS-LFCS-94-290" }

@TechReport{ecs-lfcs-94-291, author = "Yoram Hirshfeld", title = "Congruences in commutative semigroups", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-291" }

@TechReport{ecs-lfcs-94-292, author = "Alan Frieze and Mark Jerrum", title = "Improved approximation algorithms for MAX ¦Ê-CUT and MAX BISECTION", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "Improved approximation algorithms for MAX k-CUT and MAX BISECTION", number = "ECS-LFCS-94-292" },

@TechReport{ecs-lfcs-94-293, author = "Roope Kaivola", title = "On modal mu-calculus and B{\"{u}}chi tree automata", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "On modal mu-calculus and Buchi tree automata", number = "ECS-LFCS-94-293" }

@TechReport{ecs-lfcs-94-294, author = "Yoram Hirshfeld", title = "Deciding equivalences in simple process algebras", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-294" }

@TechReport{ecs-lfcs-94-295, author = "Javier Esparza and Glenn Bruns", title = "Trapping mutual exclusion in the box calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-295" }

@TechReport{ecs-lfcs-94-296, author = "Mark Jerrum", title = "The computational complexity of counting", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-296" }

@TechReport{ecs-lfcs-94-297, author = "Michele Boreale and Davide Sangiorgi", title = "A fully abstract semantics for causality in the ¦Ð- calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-297" }

@TechReport{ecs-lfcs-94-298, author = "Petr Jan{\^{c}}ar", title = "High undecidability of weak bisimilarity for petri nets", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, key = "Petr Jancar", number = "ECS-LFCS-94-298" }

@TechReport{ecs-lfcs-94-299, author = "Davide Sangiorgi", title = "On the bisimulation proof method", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-299" }

@TechReport{ecs-lfcs-94-300, author = "Stefan Kahrs, Donald Sannella and Andrzej Tarlecki", title = "The definition of extended ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-300" }

@TechReport{ecs-lfcs-94-301, author = "Paul Pritchard", title = "An old sub-quadratic algorithm for finding extremal sets", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-301" }

@TechReport{ecs-lfcs-94-302, author = "Javier Esparza", title = "Decidability of model checking for infinite-state concurrent systems", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-302" }

@TechReport{ecs-lfcs-94-303, author = "Martin Hofmann and Benjamin Pierce", title = "Positive subtyping", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-303" }

@TechReport{ecs-lfcs-94-305, author = "Thierry Le Sergent and Bernard Berthomieu", title = "Balancing load under large and fast load changes in distributed computing systems --- A case study", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-305" }

@TechReport{ecs-lfcs-94-306, author = "Thierry Le Sergent and David C.J. Matthews", title = "Adaptive selection of protocols for strict coherency in distributed shared memory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-306" }

@TechReport{ecs-lfcs-94-309, author = "Paul Pritchard", title = "On computing the subset graph of a collection of sets", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-309" }

@TechReport{ecs-lfcs-94-310, author = "Graham Collins and Stephen Gilmore", title = "Supporting formal reasoning about standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-310" }

@TechReport{ecs-lfcs-94-311, author = "Kevin Mitchell", title = "Concurrency in a natural semantics", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-311" }

@TechReport{ecs-lfcs-94-312, author = "Kevin Mitchell", title = "Multiple values in standard ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-312" }

@TechReport{ecs-lfcs-94-313, author = "Alan Frieze, Mark Jerrum, Michael Molloy, Robert Robinson & Nicholas Wormald", title = "Generating and counting Hamilton cycles in random regular graphs", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1994, number = "ECS-LFCS-94-313" }

@TechReport{ecs-lfcs-95-314, author = "Stefan Kahrs", title = "Towards a domain theory for termination proofs", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-314" }

@TechReport{ecs-lfcs-95-315, author = "Paul Steckler", title = "Correct separate and selective closure conversion", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-315" }

@TechReport{ecs-lfcs-95-316, author = "David C.J. Matthews and Thierry Le Sergent", title = "LEMMA interface definition", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-316" }

@TechReport{ecs-lfcs-95-317, author = "Mark Jerrum", title = "Computational P{\'{o}}lya theory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, key = "Computational Polya theory", number = "ECS-LFCS-95-317" }

@TechReport{ecs-lfcs-95-318, author = "Martin Hofmann and Donald Sannella", title = "On behavioural abstraction and behavioural satisfaction in higher-order logic", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-318" }

@TechReport{ecs-lfcs-95-319, author = "Michael P. Fourman", title = "Proof and design", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-319" }

@TechReport{ecs-lfcs-95-320, author = "Judith Underwood", title = "Typing abstract data types", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-320" }

@TechReport{ecs-lfcs-95-321, author = "Judith Underwood", title = "Tableau for intuitionistic predicate logic as metatheory", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-321" }

@TechReport{ecs-lfcs-95-322, author = "Stefan Kahrs, Donald Sannella & Andrzej Tarlecki", title = "The definition of Extended ML: a gentle introduction", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-322" }

@TechReport{ecs-lfcs-95-324, author = "Roope Kaivola", title = "Axiomatising linear time mu-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-324" }

@TechReport{ecs-lfcs-95-325, author = "David C.J. Matthews, Thierry Le Sergent", title = "LEMMA : a distributed shared memory with global and local garbage collection", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-325" }

@TechReport{ecs-lfcs-95-326, author = "Vivek Gore, Mark Jerrum", title = "A quasi-polynomial-time algorithm for sampling words from a context-free language", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-326" }

@TechReport{ecs-lfcs-95-330, author = "Yoshiki Kinoshita, John Power", title = "Lax naturality through enrichment", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-330" }

@TechReport{ecs-lfcs-95-331, author = "Marcelo P. Fiore", title = "First steps on the representation of domains", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-331" }

@TechReport{ecs-lfcs-95-333, author = "Li-Guo Wang, Michael Mendler", title = "Formal design of a class of computers", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-333" }

@TechReport{ecs-lfcs-95-334, author = "Li-Guo Wang, Michael Mendler", title = "Abstraction of hardware construction", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-334" }

@TechReport{ecs-lfcs-95-335, author = "D.C.J. Matthews", title = "Papers on Poly/ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-335" }

@TechReport{ecs-lfcs-95-337, author = "Julian Bradfield, Javier Esparza, Angelika Mader", title = "An effective tableau system for the linear time mu-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-337" }

@TechReport{ecs-lfcs-95-338, author = "J.C. Bradfield", title = "On the expressivity of the modal mu-calculus", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1995, number = "ECS-LFCS-95-338" }

@TechReport{ecs-lfcs-96-340, author = "Paul Steckler", title = "Detecting local channels in distributed Poly/ML", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1996, number = "ECS-LFCS-96-340" }

@TechReport{ecs-lfcs-96-341, author = "Simon Finn, Michael Fourman, John Longley", title = "Partial functions in a total setting", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", year = 1996, number = "ECS-LFCS-96-341" }