1828 search results - page 164 / 366 » First-Class Type Classes |
164
click to vote
IWFM
2003
15 years 7 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
154
click to vote
ANLP
2000
15 years 7 months ago
2000
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...
166
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
139
click to vote
ACS
2010
15 years 6 months ago
2010
Essentiality is an important notion closely related to injectivity. Depending on a class M of morphisms of a category A, three different types of essentiality are considered in lit...
114
click to vote
ACS
2007
15 years 6 months ago
2007
: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformi...