Results 1 -
0 of
0
No citations were found for this document.
A generalisation of pre-logical predicates to simply typed formal systems (2004)
by S Katsumata
| Venue: | In ICALP |
