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

Cached

Download Links

by Shin-ya Katsumata
Venue:In ICALP
Citations:1 - 0 self