An Overview of the Tatami Project*

This publication has 5 references indexed in Scilit:

• Social and Semiotic Analyses for Theorem Prover User Interface Design 1
  Formal Aspects of Computing, 1999
• Hidden coinduction: behavioural correctness proofs for objects
  Mathematical Structures in Computer Science, 1999
• Observational specifications and the indistinguishability assumption
  Theoretical Computer Science, 1995
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• The logic of inexact concepts
  Synthese, 1969