• People
• Events
• Research

LFCS reports by Author: U

Underwood, Judith

• Typing Abstract Data Types
  Judith Underwood
  LFCS report ECS-LFCS-95-320
  
• Tableau for Intuitionistic Predicate Logic as Metatheory
  Judith Underwood
  LFCS report ECS-LFCS-95-321