**Takeyama, Makoto**-
**Universal Structure and a Categorical Framework for Type Theory**

Makoto Takeyama

*LFCS report ECS-LFCS-95-336*

**Tanaka, Miki**-

**Tarlecki, Andrzej**-
**Extended ML: An institution-independent framework for formal program development**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-86-16*

**Toward formal development of programs from algebraic specifications: implementations revisited**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-86-17*

**Some thoughts on algebraic specification**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-86-21*

**Some Fundamental Algebraic Tools for the Semantics of Computation - Part III: Indexed Categories**

A Tarlecki, R M Burstall and J A Goguen

*LFCS report ECS-LFCS-88-60*

**Towards formal development of ML programs, foundations and methodology**

Donald Sannella and Andrzej Tarlecki

*LFCS report ECS-LFCS-89-71*

**Structure and Representation in LF**

Harper, Sannella and Tarlecki

*LFCS report ECS-LFCS-89-75*

**Some Fundamental Algebraic Tools for the Semantics of Computation. Part 3. Indexed Categories**

R. Burstall, J. Goguen and A. Tarlecki

*LFCS report ECS-LFCS-89-90*

**Extended ML: Past, present and future**

D. Sannella and A Tarlecki

*LFCS report ECS-LFCS-91-138*

**A kernel specification formalism with higher-order parameterisation**

D. Sannella and A Tarlecki

*LFCS report ECS-LFCS-91-139*

**Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations**

D. Sannella and A Tarlecki

*LFCS report ECS-LFCS-92-204*

**Toward formal development of programs from algebraic specifications: parameterisation revisited**

Donald Sannella, Stefan Sokolowski and Andrzej Tarlecki

*LFCS report ECS-LFCS-92-222*

**Interfaces and Extended ML**

Stefan Kahrs, Donald Sannella and Andrzej Tarlecki

*LFCS report ECS-LFCS-94-283*

**The Definition of Extended ML**

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki

*LFCS report ECS-LFCS-94-300*

**The definition of Extended ML: a gentle introduction**

Stefan Kahrs, Donald Sannella and Andrzej Tarlecki

*LFCS report ECS-LFCS-95-322*

**Architectural Specifications in CASL**

Michel Bidoit, Donald Sannella and Andrzej Tarlecki

*LFCS report ECS-LFCS-99-407*

**Tarver, M**-
**THORN: A Theorem-Prover that compiles first-order Logic into LISP**

M. Tarver

*LFCS report ECS-LFCS-89-74*

**DIALOG: A Theorem-proving environment designed to unify Functional and Logic Programming**

M. Tarver

*LFCS report ECS-LFCS-89-80*

**Taylor, George**-
**The Verification of Asynchronous Circuits using CCS**

Graham Clark and George Taylor

*LFCS report ECS-LFCS-97-369*

**Taylor, Paul**-
**The Interactive Proof Editor - An Experiment in Interactive Theorem**

B Ritchie and P Taylor

*LFCS report ECS-LFCS-88-61*

**Using Constructions as a Metalanguage**

Paul Taylor

*LFCS report ECS-LFCS-88-70*

**Playing with Lego: Some examples of developing mathematics in the Calculus of Constructions**

Paul Taylor

*LFCS report ECS-LFCS-89-89*

**Tennent, Robert D**-
**Functor-Category Semantics of Programming Languages and Logics**

R. Tennent

*LFCS report ECS-LFCS-86-3*

**Semantical Analysis of Specification Logic**

R.Tennent

*LFCS report ECS-LFCS-86-5***Quantification in Algol-like Languages**

R.Tennent

*LFCS report ECS-LFCS-86-6*

**Semantics of Local Variables**

R D Tennent and O'Hearn

*LFCS report ECS-LFCS-92-192*

**Relational Parametricity and Local Variables**

P W O'Hearn and R D Tennent

*LFCS report ECS-LFCS-92-223*

**Correctness of Data Representations in Algol-like Languages**

R D Tennent

*LFCS report ECS-LFCS-93-267*

**Thanisch, Peter**-
**Diluting ACID**

Tim Kempster, Colin Stirling and Peter Thanisch

*LFCS report ECS-LFCS-99-404*

**Thielecke, Hayo**-
**Categorical Structure of Continuation Passing Style**

Hayo Thielecke

*LFCS report ECS-LFCS-97-376*

**Thomas, Nigel**-
**Using Markovian Process Algebra to Specify Interactions in Queueing Systems**

Nigel Thomas and Jane Hillston

*LFCS report ECS-LFCS-97-373*

**A Manufacturing Production Line with Service Interruptions**

Nigel Thomas and Isi Mitrani

*LFCS report ECS-LFCS-98-388*

**Tofte, Mads**-
**A Type Discipline for Program Modules**

R.Harper, R.Milner and M.Tofte

*LFCS report ECS-LFCS-87-28*

**The Semantics of Standard ML - Version 1**

Harper, Milner, Tofte

*LFCS report ECS-LFCS-87-36*

**Operational Semantics and Polymorphic Type Inference**

Mads Tofte

*LFCS report ECS-LFCS-88-54 (also published as CST-52-88)*

**Unifying Exceptions with Constructors in Standard ML**

Milner, Tofte, MacQueen, Appel

*LFCS report ECS-LFCS-88-55*

**The Definition of Standard ML - Version 2**

R Harper, R Milner and M Tofte

*LFCS report ECS-LFCS-88-62*

**Co-Induction in Relational Semantics**

R. Milner and M. Tofte

*LFCS report ECS-LFCS-88-65*

**Four Lectures on Standard ML**

Mads Tofte

*LFCS report ECS-LFCS-89-73*

**The Definition of Standard ML - Version 3**

Harper, Milner and Tofte

*LFCS report ECS-LFCS-89-81*

**Tofts, Chris M**-
**Temporal Ordering for Concurrency**

C. Tofts

*LFCS report ECS-LFCS-88-49*

**Timing Concurrent Processes**

C. Tofts

*LFCS report ECS-LFCS-89-103*

**A Temporal Calculus of Communicating Systems**

Faron Moller and Chris Tofts

*LFCS report ECS-LFCS-89-104*

**Relative Frequency in a Synchronous Calculus**

Chris Tofts

*LFCS report ECS-LFCS-90-108*

**The Autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS**

Chris Tofts

*LFCS report ECS-LFCS-90-128*

**Proof Methods and Pragmatics for Parallel Programming**

C. Tofts

*LFCS report ECS-LFCS-91-140 (also published as CST-74-91)*

**Relating Processes with Respect to Speed**

F. Moller and C. Tofts

*LFCS report ECS-LFCS-91-143*

**Task Allocation in Monomorphic Ant Species**

C. Tofts

*LFCS report ECS-LFCS-91-144*

**Tourlas, Konstantinos**-
**Diagrammatic Representations in Domain-Specific Languages**

Konstantinos Tourlas

**Turner, David N**-
**Object-Oriented Programming Without Recursive Types**

Benjamin C Pierce and David N Turner

*LFCS report ECS-LFCS-92-225*

**Statically Types Friendly Functions via Partially Abstract Types**

B C Pierce and D N Turner

*LFCS report ECS-LFCS-93-256*

**The Polymorphic Pi-Calculus: Theory and Implementation**

David Turner

*LFCS report ECS-LFCS-96-345*