BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
BIRTHDAY
2006
Springer
14 years 3 months 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 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months 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 3 months ago
2006
Springer
Abstract. We relate Kamin and L
BIRTHDAY
2006
Springer
14 years 3 months 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 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months 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 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer