1768 search results - page 27 / 354 » A Logic for Algebraic Effects |
AML
2008
13 years 8 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
EUSFLAT
2007
13 years 10 months ago
2007
In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.
LICS
2002
IEEE
14 years 1 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
APAL
2008
13 years 8 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
ER
2009
Springer
14 years 3 months ago
2009
Springer
