A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems (2004)
by
Shin-ya Katsumata
| Venue: | In ICALP |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Katsumata04ageneralisation,
author = {Shin-ya Katsumata},
title = {A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems},
booktitle = {In ICALP},
year = {2004},
pages = {831--845}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predicates and composability of binary pre-logical relations in this generalised setting. This generalisation takes place in a categorical framework for typed higher-order abstract syntax and semantics [Fio02,MS03].
