Machine assisted proofs of recursion implementation, Avra Jean Cohn
@TechReport{cst-6-79,
  author = 	 "Avra Jean Cohn",
  title = 	 "Machine assisted proofs of recursion implementation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1980,
  number =	 "CST-6-79",
  note =	 "Thesis"
}

Applications of category theory to programming and program specification, David Eric Rydeheard
@TechReport{cst-14-81,
  author = 	 "David Eric Rydeheard",
  title = 	 "Applications of category theory to programming and
		  program specification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1981,
  number =	 "CST-14-81",
  note =	 "Thesis"
}

Abstract interpretation and optimising transformations for applicative programs, Alan Mycroft
@TechReport{cst-15-81,
  author = 	 "Alan Mycroft",
  title = 	 "Abstract interpretation and optimising
		  transformations for applicative programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1981,
  number =	 "CST-15-81"
  note =         "Thesis".
}

An algebraic approach to hardware description and verification, Luca Cardelli
@TechReport{cst-16-82,
  author = 	 "Luca Cardelli",
  title = 	 "An algebraic approach to hardware description 
                  and verification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-16-82",
  note =	 "Thesis"
}

Semantics, implementation and pragmatics of clear, a program specification language, Donald Theodore Sannella
@TechReport{cst-17-82,
  author = 	 "Donald Theodore Sannella",
  title = 	 "Semantics, implementation and pragmatics of clear, a
		  program specification language",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-17-82",
  note =	 "Thesis"
}

Proof Techniques for CCS , Michael Thomas Sanderson
@TechReport{cst-19-82,
  author = 	 "Michael Thomas Sanderson",
  title = 	 "Proof Techniques for CCS ",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-19-82",
  note =	 "Thesis"
}

An operational approach to semantics and translation for concurrent programming languages, Wei Li
@TechReport{cst-20-83,
  author = 	 "Wei Li",
  title = 	 "An operational approach to semantics and translation
		  for concurrent programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1983,
  number =	 "CST-20-83",
  note =	 "Thesis"
}

Hoare logic's for run-time analysis of programs, Hanne Riis Nielson
@TechReport{cst-30-84,
  author = 	 "Hanne Riis Nielson",
  title = 	 "Hoare logic's for run-time analysis of programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-30-84",
  note =	 "Thesis"
}

Abstract interpretation using domain theory, Flemming Nielson
@TechReport{cst-31-84,
  author = 	 "Flemming Nielson",
  title = 	 "Abstract interpretation using domain theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-31-84",
  note =	 "Thesis"
}

Data description and manipulation in persistent programming languages, Gabriel Olusegun Owoso
@TechReport{cst-32-84,
  author = 	 "Gabriel Olusegun Owoso",
  title = 	 "Data description and manipulation in persistent
		  programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-32-84",
  note =	 "Thesis"
}

Type assignment in programming languages, Luis Manuel Martins Damas
@TechReport{cst-33-85,
  author = 	 "Luis Manuel Martins Damas",
  title = 	 "Type assignment in programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1985,
  number =	 "CST-33-85",
  note =	 "Thesis"
}

Data type proofs using Edinburgh LCF, Brian Quentin Monahan
@TechReport{cst-34-85,
  author = 	 "Brian Quentin Monahan",
  title = 	 "Data type proofs using Edinburgh LCF",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1985,
  number =	 "CST-34-85",
  note =	 "Thesis"
}

Data abstraction and the correctness of modular programming, Oliver Schoett
@TechReport{cst-42-87,
  author = 	 "Oliver Schoett",
  title = 	 "Data abstraction and the correctness of 
                  modular programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-42-87",
  note =	 "also published as ECS-LFCS-87-19: Thesis"
}

Generating programming environments with integrated text and graphics for VLSI design systems, George Alexander McCaskill
@TechReport{cst-45-87,
  author = 	 "George Alexander McCaskill",
  title = 	 "Generating programming environments with integrated
		  text and graphics for VLSI design systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-45-87",
  note =	 "Thesis"
}

Theories of translation correctness for concurrent programming languages, Mark Millington
@TechReport{cst-46-87,
  author = 	 "Mark Millington",
  title = 	 "Theories of translation correctness for concurrent
		  programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-46-87",
  note =	 "also published as ECS-LFCS-87-39: Thesis"
}

A categorical programming language, Tatsuya Hagino
@TechReport{cst-47-87,
  author = 	 "Tatsuya Hagino",
  title = 	 "A categorical programming language",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-47-87",
  note =	 "also published as ECS-LFCS-87-38: Thesis"
}

Parallel algorithms and architectures for VLSI pattern generation, Roderick David Wolfe Widdowson
@TechReport{cst-49-88,
  author = 	 "Roderick David Wolfe Widdowson",
  title = 	 "Parallel algorithms and architectures for VLSI
		  pattern generation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-49-88",
  note =	 "Thesis"
}

The automatic synthesis of fault tolerant and fault secure VLSI systems, Ian Michael Nixon
@TechReport{cst-50-88,
  author = 	 "Ian Michael Nixon",
  title = 	 "The automatic synthesis of fault tolerant and fault
		  secure VLSI systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988"",
  number =	 "CST-50-88",
  note =	 "Thesis"
}

Bisimulations for concurrency, Ilaria Castellani
@TechReport{cst-51-88,
  author = 	 "Ilaria Castellani",
  title = 	 "Bisimulations for concurrency",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-51-88",
  note =	 "Also published as LFCS-88-51: Thesis"
}

Operational semantics and polymorphic type inference, Mads Tofte
@TechReport{cst-52-88,
  author = 	 "Mads Tofte",
  title = 	 "Operational semantics and polymorphic type inference",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-52-88",
  note =	 "Also published as ECS-LFCS-88-54: Thesis"
}

The partial lambda-calculus, Eugenio Moggi
@TechReport{cst-53-88,
  author = 	 "Eugenio Moggi",
  title = 	 "The partial lambda-calculus",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-53-88",
  note =	 "Also published as ECS-LFCS-88-63: Thesis"
}

Parallel parsing of context-free languages on an array of processors, Laurent Chevalier Langlois
@TechReport{cst-54-88,
  author = 	 "Laurent Chevalier Langlois",
  title = 	 "Parallel parsing of context-free languages on an
		  array of processors",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988"",
  number =	 "CST-54-88",
  note =	 "Thesis"
}

A formal, hierarchical design and validation methodology for VLSI, Bruce S. Davie
@TechReport{cst-55-88,
  author = 	 "Bruce S. Davie",
  title = 	 "A formal, hierarchical design and validation
		  methodology for VLSI",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-55-88",
  note =	 "Thesis"
}

Algorithmic skeletons: a structured approach to the management of parallel computation, Murray I. Cole
@TechReport{cst-56-88,
  author = 	 "Murray I. Cole",
  title = 	 "Algorithmic skeletons: a structured approach to the
		  management of parallel computation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-56-88",
  note =	 "Thesis"
}

The design and implementation of an interactive proof editor, Brian Ritchie
@TechReport{cst-57-88,
  author = 	 "Brian Ritchie",
  title = 	 "The design and implementation of an interactive proof
		  editor",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-57-88",
  note =	 "LFCS-88-68: Thesis"
}

Randomised algorithms for counting and generating combinatorial structures, Alistair Sinclair
@TechReport{cst-58-88,
  author = 	 "Alistair Sinclair",
  title = 	 "Randomised algorithms for counting and generating
		  combinatorial structures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-58-88",
  note =	 "Thesis"
}

Axioms for concurrency, Faron Moller
@TechReport{cst-59-89,
  author = 	 "Faron Moller",
  title = 	 "Axioms for concurrency",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-59-89",
  note =	 "Also published as ECS-LFCS-89-84"
}

Inferring surface shape from specular reflections, Gavin J. Brelstaff
@TechReport{cst-60-89,
  author = 	 "Gavin J. Brelstaff",
  title = 	 "Inferring surface shape from specular reflections",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-60-89",
  note =	 "Thesis"
}

A structural approach to the mapping problem in parallel discrete event logic simulations, Mark Davoren
@TechReport{cst-61-89,
  author = 	 "Mark Davoren",
  title = 	 "A structural approach to the mapping problem in
		  parallel discrete event logic simulations",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-61-89",
  note =	 "Thesis"
}

Configurable logic: a dynamically programmable cellular architecture and its VLSI implementation, Thomas Andrew Kean
@TechReport{cst-62-89,
  author = 	 "Thomas Andrew Kean",
  title = 	 "Configurable logic: a dynamically programmable
		  cellular architecture and its VLSI implementation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =       "CST-62-89",
  note = 	 "Thesis"
}

Probabilistic non-determinism, Claire Jones
@TechReport{cst-63-90,
  author = 	 "Claire Jones",
  title = 	 "Probabilistic non-determinism",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-63-90",
  note = 	 "also published as ECS-LFCS-90-105: Thesis"
}

The design of protocols for high performance in a networked computing environment, Gary D. Law
@TechReport{cst-64-90,
  author = 	 "Gary D. Law",
  title = 	 "The design of protocols for high performance in a
		  networked computing environment",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-64-90",
  note =         "Thesis"
}

An extended calculus of constructions, Zhaohui Luo
@TechReport{cst-65-90,
  author = 	 "Zhaohui Luo",
  title = 	 "An extended calculus of constructions",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-65-90",
  note =	 "also published as ECS-LFCS-90-118: Thesis"
}

Relevance logic and concurrent composition, Mads Frederik Dam
@TechReport{cst-66-90,
  author = 	 "Mads Frederik Dam",
  title = 	 "Relevance logic and concurrent composition",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-66-90",
  note =	 "also published as ECS-LFCS-90-119: thesis"
}

Integrated silicon assembly, Thomas George Waring
@TechReport{cst-67-90,
  author = 	 "Thomas George Waring",
  title = 	 "Integrated silicon assembly",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-67-90",
  note =	 "Thesis"
}

Constructive lambda-models, Andreas Knobel
@TechReport{cst-68-90, 
  author = 	 "Andreas Knobel",
  title = 	 "Constructive lambda-models",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-68-90",
  note = 	 "also published as ECS-LFCS-90-120: Thesis"
}

Proofs, search and computation in general logic, David Pym
@TechReport{cst-69-90,
  author = 	 "David Pym",
  title = 	 "Proofs, search and computation in general logic",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-69-90",
  note =	 "also published as ECS-LFCS-90-125: Thesis"
}

Resource provision in object oriented distributed systems, Stephen W. Proctor
@TechReport{cst-70-90,
  author = 	 "Stephen W. Proctor",
  title = 	 "Resource provision in object oriented distributed systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-70-90",
  note =	 "Thesis"
}

Linear logic and petri nets: categories, algebra and proof, Carolyn T. Brown
@TechReport{cst-71-91, 
  author = 	 "Carolyn T. Brown",
  title = 	 "Linear logic and petri nets: categories, algebra and
		  proof",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-71-91",
  note =	 "also published as ECS-LFCS-91-129: Thesis"
}

Semantic frameworks for complexity, Douglas J. Gurr
@TechReport{cst-72-91, 
  author = 	 "Douglas J. Gurr",
  title = 	 "Semantic frameworks for complexity",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-72-91",
  note =         "also published as ECS-LFCS-91-130: Thesis",
}

A survey of polynomial factorisation algorithms, William M. Anderson
@TechReport{cst-73-91,
  author = 	 "William M. Anderson",
  title = 	 "A survey of polynomial factorisation algorithms",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-73-91",
  note =	 "Thesis"
}

Proof methods and pragmatics for parallel programming, Chris Tofts
@TechReport{cst-74-91, 
  author = 	 "Chris Tofts",
  title = 	 "Proof methods and pragmatics for parallel programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-74-91",
  note =         "also published as ECS-LFCS-91-140: Thesis"
}

Logic programming: operational semantics and proof theory, James Harold Andrews
@TechReport{cst-75-91, 
  author = 	 "James Harold Andrews",
  title = 	 "Logic programming: operational semantics and proof theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-75-91",
  note =         "also published as ECS-LFCS-91-141: Thesis"
}

Correctness-oriented approaches to software development, Stephen Gilmore
@TechReport{cst-76-91, 
  author = 	 "Stephen Gilmore",
  title = 	 "Correctness-oriented approaches to software development",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-76-91",
  note =         "also published as ECS-LFCS-91-147: Thesis"
}

Combinators and bisimulation proofs for restartable systems, K.V.S. Prasad
@TechReport{cst-77-91,
  author = 	 "K.V.S. Prasad",
  title = 	 "Combinators and bisimulation proofs for restartable 
                  systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-77-91",
  note =	 "also published as ECS-LFCS-91-149: Thesis"
}

Annotated transition systems for verifying concurrent programs, Pawet P\caczkowksi
@TechReport{cst-78-91,
  author = 	 "Pawet P{\c{a}}czkowksi",
  title = 	 "Annotated transition systems for verifying
		  concurrent programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  key =		 "Pawet Paczkowksi",
  number =	 "CST-78-91",
  note =	 "also published as ECS-LFCS-91-150: Thesis"
}

Generating program animators from programming language semantics, Dave Berry
@TechReport{cst-79-91,
  author = 	 "Dave Berry",
  title = 	 "Generating program animators from programming
                  language semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-79-91",
  note =	 "also published as ECS-LFCS-91-163: Thesis"
}

Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information, Gianluigi Bellin
@TechReport{cst-80-91,
  author = 	 "Gianluigi Bellin",
  title = 	 "Mechanizing proof theory: resource-aware logics and
                  proof-transformations to extract implicit information",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-80-91",
  note =	 "also published as ECS-LFCS-91-165"
}

On hereditary Harrop formulae as a basis for logic programming, James Harland
@TechReport{cst-81-91,
  author = 	 "James Harland",
  title = 	 "On hereditary Harrop formulae as a basis for 
                  logic programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-81-91",
  note =	 "also published as ECS-LFCS-91-170"
}

Domain theory in realizability toposes, Wesley Phoa
@TechReport{cst-82-91,
  author = 	 "Wesley Phoa",
  title = 	 "Domain theory in realizability toposes",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-82-91",
  note =	 "also published as ECS-LFCS-91-171"
}

Verifying temporal properties of systems with applications to Petri nets, Julian Charles Bradfield
@TechReport{cst-83-91,
  author = 	 "Julian Charles Bradfield",
  title = 	 "Verifying temporal properties of systems with
                  applications to Petri nets",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-83-91",
  note =	 "also published as ECS-LFCS-91-172"
}

Context flow architecture, Timothy E.A. Lees
@TechReport{cst-84-91,
  author = 	 "Timothy E.A. Lees",
  title = 	 "Context flow architecture",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-84-91"
}

Design and simulation of an MIMD shared memory multiprocessor with interleaved instruction streams, Thomas R. Stiemerling
@TechReport{cst-85-91,
  author = 	 "Thomas R. Stiemerling",
  title = 	 "Design and simulation of an MIMD shared memory 
                  multiprocessor with interleaved instruction streams",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-85-91"
}

Decidability, behavioural equivalences and infinite transition graphs,
@TechReport{cst-86-91,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Decidability, behavioural equivalences and 
                  infinite transition graphs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  key =          "Hans Huttel",
  number =       "CST-86-91",
  note =	 "also published as ECS-LFCS-91-191"
}

First order linear logic in symmetric monoidal closed categories, Simon John Ambler
@TechReport{cst-87-92,
  author = 	 "Simon John Ambler",
  title = 	 "First order linear logic in symmetric monoidal
                  closed categories",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-87-92",
  note =	 "also published as ECS-LFCS-92-194"
}

Ordinal complexity of recursive programs and their termination proofs, Matthew V.H. Fairtlough
@TechReport{cst-88-92,
  author = 	 "Matthew V.H. Fairtlough",
  title = 	 "Ordinal complexity of recursive programs and
                  their termination proofs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year =         1992,
  number =       "CST-88-92",
  note =         "also published as ECS-LFCS-92-196" 
}

Efficient algorithms for listing combinatorial structures, Leslie Ann Goldberg
@TechReport{cst-89-92,
  author = 	 "Leslie Ann Goldberg",
  title = 	 "Efficient algorithms for listing combinatorial structures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-89-92",
  note =	 "also published as ECS-LFCS-92-198"
}

The formal synthesis of control signals for systolic arrays, Jingling Xue
@TechReport{cst-90-92,
  author = 	 "Jingling Xue",
  title = 	 "The formal synthesis of control signals for systolic
		  arrays",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-90-92",
  note =	 "also published as ECS-LFCS-92-203"
}

A framework for binding operators, Yong Sun
@TechReport{cst-91-92,
  author = 	 "Yong Sun",
  title = 	 "A framework for binding operators",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-91-92",
  note =	 "also published as ECS-LFCS-92-207"
}

Verification in ASL and related specification languages, Jorge Farr\'es-Casals
@TechReport{cst-92-92,
  author = 	 "Jorge Farr{\'{e}}s-Casals",
  title = 	 "Verification in ASL and related specification languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  key =          "Jorge Farres-Casals",
  number =       "CST-92-92",
  note =	 "also published as ECS-LFCS-92-220"
}

Representing logics in type theory, Philippa Gardner
@TechReport{cst-93-92,
  author = 	 "Philippa Gardner",
  title = 	 "Representing logics in type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-93-92",
  note =	 "also published as ECS-LFCS-92-227"
}

High-level synthesis of VLSI circuits, Ping F. Yeung
@TechReport{cst-94-92,
  author = 	 "Ping F. Yeung",
  title = 	 "High-level synthesis of VLSI circuits",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-94-92"
}

Correctness proofs of compilers and debuggers: an approach based on structural operational semantics, Fabio Q B da Silva
@TechReport{cst-95-92,
  author = 	 "Fabio Q B da Silva",
  title = 	 "Correctness proofs of compilers and debuggers: an
		  approach based on structural operational semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-95-92",
  note =	 "also published as ECS-LFCS-92-241"
}

Deliverables: a categorical approach to program development in type theory, James Hugh McKinna
@TechReport{cst-96-92,
  author = 	 "James Hugh McKinna",
  title = 	 "Deliverables: a categorical approach to program
		  development in type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-96-92",
  note =	 "also published as ECS-LFCS-92-247"
}

A modal logic for handling behavioural constraints in formal hardware verification, Michael V. Mendler
@TechReport{cst-97-93,
  author = 	 "Michael V. Mendler",
  title = 	 "A modal logic for handling behavioural constraints
		  in formal hardware verification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-97-93",
  note =	 "also published as ECS-LFCS-93-255"
}

PAC-learning geometrical figures, Paul W. Goldberg
@TechReport{cst-98-93,
  author = 	 "Paul W. Goldberg",
  title = 	 "PAC-learning geometrical figures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-98-93",
  note =	 "also published as ECS-LFCS-93-258"
}

Expressing mobility in process algebras: first-order and higher-order paradigms, Davide Sangiorgi
@TechReport{cst-99-93,
  author = 	 "Davide Sangiorgi",
  title = 	 "Expressing mobility in process algebras:
		  first-order and higher-order paradigms",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-99-93",
  note =	 "also published as ECS-LFCS-93-266"
}

Embedding hardware description languages in proof systems, Kees G.W. Goossens
@TechReport{cst-100-93,
  author = 	 "Kees G.W. Goossens",
  title = 	 "Embedding hardware description languages in proof
		  systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-100-93",
  note =         "also published as ECS-LFCS-93-268"
}

Timed processes : models, axioms and decidability, Liang Chen
@TechReport{cst-101-93,
  author = 	 "Liang Chen",
  title = 	 "Timed processes : models, axioms and decidability",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-101-93",
  note =	 "also published as ECS-LFCS-93-271"
}

Task assignment in parallel processor systems, Sathiamoorthy Manoharan
@TechReport{cst-102-93,
  author = 	 "Sathiamoorthy Manoharan",
  title = 	 "Task assignment in parallel processor systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-102-93"
}

Fibrations, logical predicates and indeterminates, Claudio Alberto Hermida
@TechReport{cst-103-93,
  author = 	 "Claudio Alberto Hermida",
  title = 	 "Fibrations, logical predicates and indeterminates",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-103-93",
  note =	 "also published as ECS-LFCS-93-277"
}

A performance monitoring and analysis environment for distributed memory MIMD programs, Kayhan Imre
@TechReport{cst-104-93,
  author = 	 "Kayhan Imre",
  title = 	 "A performance monitoring and analysis environment
		  for distributed memory MIMD programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-104-93"
}

Decidability and decomposition in process algebras, S¦Őren Christensen
@TechReport{cst-105-93,
  author = 	 "S¦Őren Christensen",
  title = 	 "Decidability and decomposition in process algebras",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  key =          "Soren Christensen",
  number =	 "CST-105-93",
  note =	 "also published as ECS-LFCS-93-278"  
}

Constructions, inductive types and strong normalization, Thorsten Altenkirch
@TechReport{cst-106-93,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Constructions, inductive types and strong normalization",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-106-93",
  note =	 "also published as ECS-LFCS-93-279"
}

A compositional approach to performance modelling, Jane Hillston
@TechReport{cst-107-94,
  author = 	 "Jane Hillston",
  title = 	 "A compositional approach to performance modelling",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-107-94"
}

Adding safe and effective load balancing to multicomputers, Paul Martin
@TechReport{cst-108-94,
  author = 	 "Paul Martin",
  title = 	 "Adding safe and effective load balancing to multicomputers",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-108-94"
}

A statistical investigation of the factors influencing the performance of parallel programs, with application to a study of process migration strategies, Joseph Phillips
@TechReport{cst-109-94,
  author = 	 "Joseph Phillips",
  title = 	 "A statistical investigation of the factors
		  influencing the performance of parallel programs,
		  with application to a study of process migration strategies",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-109-94"
}

A typed operational semantics for type theory, Healfdene Goguen
@TechReport{cst-110-94,
  author = 	 "Healfdene Goguen",
  title = 	 "A typed operational semantics for type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-110-94"
}

Effective software support for chemical research, Amanda Jayne Welsh
@TechReport{cst-111-94,
  author = 	 "Amanda Jayne Welsh",
  title = 	 "Effective software support for chemical research",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-111-94"
}

A quantitative performance evaluation of SCI memory hierarchies , Roberto A. Hexsel
@TechReport{cst-112-94,
  author = 	 "Roberto A. Hexsel",
  title = 	 "A quantitative performance evaluation of SCI memory
		  hierarchies ",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-112-94"
}

Axiomatic domain theory in categories of partial maps, Marcelo P. Fiore
@TechReport{cst-113-94,
  author = 	 "Marcelo P. Fiore",
  title = 	 "Axiomatic domain theory in categories of partial maps",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-113-94",
  note =	 "also published as ECS-LFCS-94-307"
}

The proof theory and semantics of intuitionistic modal logic, Alex K. Simpson
@TechReport{cst-114-94,
  author = 	 "Alex K. Simpson",
  title = 	 "The proof theory and semantics of intuitionistic
		  modal logic",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-114-94",
  note =	 "also published as ECS-LFCS-94-308"
}

The theory of LEGO : a proof checker for the extended calculus of constructions, Robert Pollack
@TechReport{cst-115-95,
  author = 	 "Robert Pollack",
  title = 	 "The theory of LEGO : a proof checker for the extended
		  calculus of constructions",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-115-95",
  note =	 "also published as ECS-LFCS-95-323"
}

Formalising the description of process based simulation models, Robert John Pooley
@TechReport{cst-116-95,
  author = 	 "Robert John Pooley",
  title = 	 "Formalising the description of process based
		  simulation models",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-116-95"
}

Extensional concepts in intensional type theory, Martin Hofmann
@TechReport{cst-117-95,
  author = 	 "Martin Hofmann",
  title = 	 "Extensional concepts in intensional type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-117-95",
  note =	 "also published as ECS-LFCS-95-327"
}

The algebra of finite state processes, Peter Michael Sewell
@TechReport{cst-118-95,
  author = 	 "Peter Michael Sewell",
  title = 	 "The algebra of finite state processes",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-118-95",
  note =	 "also published as ECS-LFCS-95-328"
}

Formal derivation of a class of computers, Li-Guo Wang
@TechReport{cst-119-95,
  author = 	 "Li-Guo Wang",
  title = 	 "Formal derivation of a class of computers",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-119-95",
  note =	 "also published as ECS-LFCS-95-329"
}

Realizability toposes and language semantics, John R. Longley
@TechReport{cst-120-95,
  author = 	 "John R. Longley",
  title = 	 "Realizability toposes and language semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-120-95",
  note =	 "also published as ECS-LFCS-95-332"
}

Universal structure and a categorical framework for type theory, Makoto Takeyama
@TechReport{cst-121-95,
  author = 	 "Makoto Takeyama",
  title = 	 "Universal structure and a categorical framework for
		  type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-121-95",
  note =	 "also published as ECS-LFCS-95-336"
}

Adjoint rewriting, Neil Ghani
@TechReport{cst-122-95,
  author = 	 "Neil Ghani",
  title = 	 "Adjoint rewriting",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-122-95",
  note =	 "also published as ECS-LFCS-95-339"
}

Optimizing hardware granularity in parallel systems, Thomas Kelly
@TechReport{cst-123-95,
  author = 	 "Thomas Kelly",
  title = 	 "Optimizing hardware granularity in parallel systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-123-95"
}

Shared memory with hidden latency on a family of mesh-like networks, Tim J. Harris
@TechReport{cst-124-95,
  author = 	 "Tim J. Harris",
  title = 	 "Shared memory with hidden latency on a family of
		  mesh-like networks",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-124-95"
}