103 search results - page 1 / 21 » Extensionality Versus Constructivity |
MLQ
2002
13 years 4 months ago
2002
We will analyze some extensions of Martin-L
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
APLAS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
AAAI
2000
13 years 6 months ago
2000
Expert decision-makers often explain decisions by citing general principles. In some domains, however, it is nearly impossible to define principles intensionally so that they may ...