• People
• Events
• Research

LFCS reports by Author: A

Abramsky, Samson

• Fully Complete Models for ML Polymorphic Types
  Samson Abramsky and Marina Lenisa
  LFCS report ECS-LFCS-99-414
  

Agusti, Jaume

• An Ideal Model for an Extended Lambda-Calculus with Refinement
  J Agusti et al
  LFCS report ECS-LFCS-91-188
  

Altenkirch, Thorsten

• Brewing Strong Normalization Proofs with LEGO
  Thorsten Altenkirch
  LFCS report ECS-LFCS-92-230
  
• Constructions, Inductive Types and Strong Normalization
  Thorsten Altenkirch
  LFCS report ECS-LFCS-93-279 (also published as CST-106-93)
  

Ambler, Simon

• First Order Linear Logic in Symmetric Monoidal Closed Categories
  Simon Ambler
  LFCS report ECS-LFCS-92-194 (also published as CST-87-92)
  

Anderson, Stuart O

• A Timed Calculus of Communicating Systems
  Liang Chen, Stuart Anderson and Faron Moller
  LFCS report ECS-LFCS-90-127
  
• The Formalization and Analysis of a Commmunications Protocol
  G. Bruns and S. Anderson
  LFCS report ECS-LFCS-91-137
  

Andrews, Jamie Harald

• Proof-Theoretic Characterisations of Logic Programming
  J. Andrews
  LFCS report ECS-LFCS-89-77
  
• The Logical Structure of Sequential Prolog
  J. Andrews
  LFCS report ECS-LFCS-90-110
  
• Logic Programming: Operational Semantics and Proof Theory
  J Andrews
  LFCS report ECS-LFCS-91-142 (also published as CST-75-91)
  

Appel, Andrew

• Unifying Exceptions with Constructors in Standard ML
  Milner, Tofte, MacQueen, Appel
  LFCS report ECS-LFCS-88-55
  

Aspinall, David

• Subtyping Dependent Types
  David Aspinall and Adriana Compagnoni
  LFCS report ECS-LFCS-97-370
  

Avron, Arnon

• Gentzenizing Schroeder-Heister's Natural extension of natural deduction
  A. Avron
  LFCS report ECS-LFCS-86-20
  
• The Semantics and Proof Theory of Linear Logic
  A. Avron
  LFCS report ECS-LFCS-87-27
  
• Simple Consequence Relations
  A. Avron
  LFCS report ECS-LFCS-87-30
  
• Using Typed Lambda Calculus to Implement Formal Systems on a Machine
  Avron, Honsell and Mason
  LFCS report ECS-LFCS-87-31
  
• Foundations and Proof Theory of 3-valued Logics
  A.Avron
  LFCS report ECS-LFCS-88-48
  
• Workshop on General Logic - Edinburgh 1987
  Avron, Harper, Honsell, Mason and Plotkin
  LFCS report ECS-LFCS-88-52