@book{alma993835183502466,
author = {Pa̜czkowski, Pawel.},
address = {Edinburgh},
booktitle = {Proving total correctness of concurrent programs without using auxiliary variables},
keywords = {Parallel programming (Computer science)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-100},
title = {Proving total correctness of concurrent programs without using auxiliary variables / by Pawel Pa̜czkowski.},
year = {1989},
}

@book{alma993815153502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Logical design of VLSI circuit with extension of uncertainty : or monotonic functional completeness of Kleene ternary logic},
keywords = {Integrated circuits -- Very large scale integration},
language = {eng},
publisher = {University of Edinburgh. Department of computer science},
series = {ECS-LFCS- ; 89-95},
title = {Logical design of VLSI circuit with extension of uncertainty : or monotonic functional completeness of Kleene ternary logic / by Sun, Yong.},
year = {1989},
}

@book{alma993581103502466,
author = {Farrés-Casals, Jordi.},
address = {Edinburgh},
booktitle = {Proving correctness of constructor implementations},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-72},
title = {Proving correctness of constructor implementations / Jordi Farrés-Casals.},
year = {1989},
}

@book{alma993285013502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Synchronisation flow algebra},
keywords = {Algebra -- Data processing},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-35},
title = {Synchronisation flow algebra / by Joachim Parrow.},
year = {1987},
}

@book{alma993835193502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Formal program development in extended ML for the working programmer},
keywords = {Computer programs -- Correctness},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-102},
title = {Formal program development in extended ML for the working programmer / by Donald Sannella.},
year = {1989},
}

@book{alma993628223502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Toward formal development of ML programs : foundations and methodology ; preliminary version},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-71},
title = {Toward formal development of ML programs : foundations and methodology ; preliminary version / by Donald Sannella and Andrzej Tarlecki.},
year = {1989},
}

@book{alma993284943502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Changes to the standard ML core language},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-33},
title = {Changes to the standard ML core language / by Robin Milner.},
year = {1987},
}

@book{alma993262563502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Formal specification of ML programs},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-15},
title = {Formal specification of ML programs / by Donald Sannella.},
year = {1986},
}

@book{alma993417073502466,
address = {Edinburgh},
booktitle = {Unifying exceptions with constructors in standard ML},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 88-55},
title = {Unifying exceptions with constructors in standard ML / A. Appel [and others].},
year = {1988},
}

@book{alma994098303502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Introduction to standard ML},
edition = {Revised edition / Revised by Nick Rothwell.},
language = {eng},
publisher = {University of Edinburgh, Laboratory for Foundations of Computer Science},
series = {ECS-LFCS- ; 86-14},
title = {Introduction to standard ML / by Robert Harper; with exercises by Kevin Mitchell.},
year = {1989},
}

@book{alma993835213502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Compositional characterization of observable program properties},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-99},
title = {Compositional characterization of observable program properties / by Bernhard Steffen, C. Barry Jay, Michael Mendler.},
year = {1989},
}

@book{alma993285023502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {The semantics of standard ML : version 1},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-36},
title = {The semantics of standard ML : version 1 / by Robert Harper, Robin Milner and Mads Tofte.},
year = {1987},
}

@book{alma999987083502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 004},
title = {Make in ML.},
year = {1987},
}

@book{alma999987073502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 003},
title = {Extending ML using daemons.},
year = {1987},
}

@book{alma999987063502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 002},
title = {Case study I : automatic generation of parsers.},
year = {1987},
}

@book{alma993460293502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {The development of a system for concurrent device verification},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
title = {The development of a system for concurrent device verification / George J. Milne.},
year = {1985},
}

@book{alma992515223502466,
author = {Dewar, Hamish.},
address = {Edinburgh},
booktitle = {ECCE : Edinburgh Compatible Context Editor ; video version},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CSR- ; 175-84},
title = {ECCE : Edinburgh Compatible Context Editor ; video version / by Hamish Dewar.},
year = {1984},
}

@book{alma999991483502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Record primitives in standard ML},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 023},
title = {Record primitives in standard ML / Dave MacQueen.},
year = {1987},
}

@book{alma999987103502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {The ML parser generator},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 005},
title = {The ML parser generator / Nick Rothwell.},
year = {1988},
}

@book{alma999987033502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Parsing utilities for standard ML : initial draft},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 001},
title = {Parsing utilities for standard ML : initial draft  / by Nick Rothwell.},
year = {1987},
}

@book{alma999991503502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Labeled fields in standard ML},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 024},
title = {Labeled fields in standard ML / David MacQueen.},
year = {1985},
}

@book{alma993536123502466,
author = {Taylor, Paul.},
address = {Edinburgh},
booktitle = {Using constructions as a metalanguage},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-70},
title = {Using constructions as a metalanguage / by Paul Taylor.},
year = {1988},
}

@book{alma99821313502466,
address = {Edinburgh},
booktitle = {IMP reference manual},
edition = {Revised edition.},
keywords = {IMP (Computer Program Language)},
language = {eng},
organization = {University of Edinburgh. Department of Computer Science.},
publisher = {University of Edinburgh, Department of Computer Science},
series = {Edinburgh Multi-Access Project},
title = {IMP reference manual / [compiled by] University of Edinburgh Department of Computer Science and English Electric Computers Limited.},
year = {1968},
}

@book{alma999987733502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Proposed changes to the ML core language},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 022},
title = {Proposed changes to the ML core language / Robin Milner.},
year = {1987},
}

@book{alma993494313502466,
address = {Edinburgh},
keywords = {Computational complexity},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-64},
title = {Edinburgh University postgraduate examination questions in computation theory, 1978-1988.},
year = {1988},
}

@book{alma993968403502466,
author = {Andrews, James H.},
address = {Edinburgh},
booktitle = {The logical structure of sequential Prolog},
keywords = {Prolog (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 90-110},
title = {The logical structure of sequential Prolog / by James H. Andrews.},
year = {1990},
}

@book{alma992351443502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Modules and persistence in standard ML},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-11},
title = {Modules and persistence in standard ML / by Robert Harper.},
year = {1986},
}

@book{alma993416913502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Constructing type systems over an operational semantics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-59},
title = {Constructing type systems over an operational semantics / by Robert Harper.},
year = {1988},
}

@book{alma993815133502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Self-independent Petri nets : or a dead-lock-free paradigm},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-98},
title = {Self-independent Petri nets : or a dead-lock-free paradigm / by Sun, Yong.},
year = {1989},
}

@book{alma993738663502466,
author = {Walker, D. J.},
address = {Edinburgh},
booktitle = {Automated analysis of mutual exclusion algorithms using CCS},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-91},
title = {Automated analysis of mutual exclusion algorithms using CCS / by D.J. Walker.},
year = {1989},
}

@book{alma993286413502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Temporal ordering for concurrency},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-49},
title = {Temporal ordering for concurrency / by Christopher M.N. Tofts.},
year = {1988},
}

@book{alma993286393502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Foundations and proof theory of 3-valued logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-48},
title = {Foundations and proof theory of 3-valued logics / by Arnon Avron.},
year = {1988},
}

@book{alma993286383502466,
author = {Gordon, Andrew D.},
address = {Edinburgh},
booktitle = {How to breed hybrid compiler/interpreters},
keywords = {Compilers (Computer programs)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-50},
title = {How to breed hybrid compiler/interpreters / by Andrew D. Gordon.},
year = {1988},
}

@book{alma993494443502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {An equational formulation of LF},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-67},
title = {An equational formulation of LF / Robert Harper.},
year = {1988},
}

@book{alma993494353502466,
author = {Moggi, Eugenio.},
address = {Edinburgh},
booktitle = {Computational lambda-calculus and monads},
keywords = {Triples, Theory of},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-66},
title = {Computational lambda-calculus and monads / Eugenio Moggi.},
year = {1988},
}

@book{alma993692923502466,
author = {Andrews, James H.},
address = {Edinburgh},
booktitle = {Proof-theoretic characterisations of logic programming},
keywords = {Proof theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-77},
title = {Proof-theoretic characterisations of logic programming / by James H. Andrews.},
year = {1989},
}

@book{alma993770313502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Equational characterization of binding : (extended abstract)},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-94},
title = {Equational characterization of binding : (extended abstract) / by Sun, Yong.},
year = {1989},
}

@book{alma993770283502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Equations, dependent equations and quasi-dependent equations : on their unification},
keywords = {Algebra, Universal},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-93},
title = {Equations, dependent equations and quasi-dependent equations : on their unification / by Sun, Yong.},
year = {1989},
}

@book{alma993770273502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {The structure of free closed categories},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-92},
title = {The structure of free closed categories / by C. Barry Jay.},
year = {1989},
}

@book{alma993842893502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Timing concurrent processes},
keywords = {Formal languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-103},
title = {Timing concurrent processes / by Chris Tofts.},
year = {1989},
}

@book{alma993662683502466,
author = {Tarver, Mark.},
address = {Edinburgh},
booktitle = {Dialog : a theorem-proving environment designed to unify functional and logic programming},
keywords = {Logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-80},
title = {Dialog : a theorem-proving environment designed to unify functional and logic programming / by Mark Tarver.},
year = {1989},
}

@book{alma993662653502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Optimal data flow analysis via observational equivalence},
keywords = {Algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-82},
title = {Optimal data flow analysis via observational equivalence / by Bernhard Steffen.},
year = {1989},
}

@book{alma993662633502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Characteristic formulae for CCS with divergence},
keywords = {Modality (Logic)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-76},
title = {Characteristic formulae for CCS with divergence / by Bernhard Steffen.},
year = {1989},
}

@book{alma993741203502466,
author = {Taylor, Paul.},
address = {Edinburgh},
booktitle = {Playing with Lego : some examples of developing mathemetics in the calculus of constructions},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-89},
title = {Playing with Lego : some examples of developing mathemetics in the calculus of constructions / by Paul Taylor.},
year = {1989},
}

@book{alma993285103502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Analysing mutual exclusion algorithms using CCS},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-45},
title = {Analysing mutual exclusion algorithms using CCS / by David Walker.},
year = {1988},
}

@book{alma993284903502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Simple consequence relations},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-30},
title = {Simple consequence relations / by Arnon Avron.},
year = {1987},
}

@book{alma993284893502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Bisimulation equivalence and divergence in CCS},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-29},
title = {Bisimulation equivalence and divergence in CCS / by David Walker.},
year = {1987},
}

@book{alma993284933502466,
author = {Mason, Ian A.},
address = {Edinburgh},
booktitle = {Hoare's logic in the LF},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-32},
title = {Hoare's logic in the LF / by Ian A. Mason.},
year = {1987},
}

@book{alma993262723502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {The semantics and proof theory of linear logic},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-27},
title = {The semantics and proof theory of linear logic / by Arnon Avron.},
year = {1987},
}

@book{alma993262633502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Gentzenizing Schroeder-Heister's natural extension of natural deduction},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-20},
title = {Gentzenizing Schroeder-Heister's natural extension of natural deduction / by Arnon Avron.},
year = {1987},
}