120
Voted
BIRTHDAY
2006
Springer
15 years 7 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...
110
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
76
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
117
Voted
BIRTHDAY
2006
Springer
15 years 7 months 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...
97
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
