31686 search results - page 243 / 6338 » Resource typing in Guru |
DCC
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper we construct an infinite series of (q + t, t)-arcs of type (0, 2, t). We show that this construction includes the Korchm?aros-Mazzocca arcs, and we gain new infinite...
TABLEAUX
2009
Springer
14 years 5 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
LICS
2005
IEEE
14 years 4 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Learning in complex contexts often requires pure induction to be supported by various kinds of meta-information. Providing such information is a critical, difficult and ...
ICALP
2004
Springer
14 years 4 months ago
2004
Springer
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 predica...