7289 search results - page 3 / 1458 » A Dependent Set Theory |
ISCI
2008
13 years 7 months ago
2008
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...
LICS
2002
IEEE
14 years 20 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
ADC
2005
Springer
14 years 1 months ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
ITP
2010
13 years 11 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
ENTCS
2007
13 years 7 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...