544 search results - page 87 / 109 » The Algebra of Equality Proofs |
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
IJCAI
1993
13 years 9 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...
ESA
2010
Springer
13 years 9 months ago
2010
Springer
We characterize the price of anarchy in weighted congestion games, as a function of the allowable resource cost functions. Our results provide as thorough an understanding of this ...
ENTCS
2006
13 years 8 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Consider partial maps Σ∗ −→ with a rational domain. We show that two families of such series are actually the same: the unambiguous rational series on the one hand, and ...