BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. We relate Kamin and L
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
Consider a simple network flow problem in which there are n channels directed from a source to a sink. The channel capacities are unknown and we wish to determine a feasible netwo...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...