• People
• Events
• Research

LFCS reports by Author: T

Takeyama, Makoto

• Universal Structure and a Categorical Framework for Type Theory
  Makoto Takeyama
  LFCS report ECS-LFCS-95-336
  

Tanaka, Miki

• Pseudo-Distributive Laws and a Unified Framework for Variable Binding
  Miki Tanaka
  

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