7289 search results - page 14 / 1458 » A Dependent Set Theory |
125
click to vote
AML
2008
15 years 5 months ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
162
Voted
IGPL
2007
15 years 5 months ago
2007
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theo...
163
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
136
click to vote
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
130
click to vote
COLING
2000
15 years 7 months ago
2000
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...