Show simple item record

dc.contributor.advisorSannella, Donald
dc.contributor.advisorStark, Ian
dc.contributor.authorKatsumata, Shin-ya
dc.date.accessioned2005-11-14T16:13:27Z
dc.date.available2005-11-14T16:13:27Z
dc.date.issued2005-07
dc.identifier.urihttp://hdl.handle.net/1842/850
dc.description.abstractThis thesis proposes a generalisation of pre-logical predicates to simply typed formal systems and their categorical models. We analyse the three elements involved in pre-logical predicates --- syntax, semantics and predicates --- within a categorical framework for typed binding syntax and semantics. We then formulate generalised pre-logical predicates and show two distinguishing properties: a) equivalence with the basic lemma and b) closure of binary pre-logical relations under relational composition. To test the adequacy of this generalisation, we derive pre-logical predicates for various calculi and their categorical models including variations of lambda calculi and non-lambda calculi such as many-sorted algebras as well as first-order logic. We then apply generalised pre-logical predicates to characterising behavioural equivalence. Examples of constructive data refinement of typed formal systems are shown, where behavioural equivalence plays a crucial role in achieving data abstraction.en
dc.format.extent890216 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Edinburgh. College of Science and Engineering. School of Informatics.en
dc.relation.hasversionShin-ya Katsumata. A Generalisation of Prelogical Predicates to Simply Typed Formal Systems. In Proc. ICALP 2004. LNCS 3142, pp 831-845. Springer 2004.en
dc.subject.otherComputer Scienceen
dc.subject.otherObservational Equivalenceen
dc.subject.otherLogical Relationen
dc.titleA Generalisation of Pre-Logical Predicates and Its Applicationsen
dc.typeThesis or Dissertation
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record