Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ICALP
2004
Springer

favoriteEmaildiscussreport

108views Programming Languages» more ICALP 2004»

A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems

13 years 10 months ago

A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems

Download www.kurims.kyoto-u.ac.jp

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 frametyped higher-order abstract syntax and semantics [Fio02,MS03].

Shin-ya Katsumata

Real-time Traffic

Categorical Models | Generalisation Takes Place | ICALP 2004 | Pre-logical Predicates | Theoretical Computer Science |

claim paper

Related Content

» A Formalization of Strong Normalization for SimplyTyped LambdaCalculus and System F

» Vague Spatial Data Types Set Operations and Predicates

» Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search

» Actors without Directors A Kahnian View of Heterogeneous Systems

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ICALP
Authors	Shin-ya Katsumata

Comments (0)