199 search results - page 1 / 40 » Intensional Positive Set Theory |
74
Voted
RML
2006
15 years 8 days ago
2006
95
Voted
ENGL
2007
15 years 9 days ago
2007
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
190
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
176
click to vote
POPL
2008
ACM
16 years 20 days ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
109
click to vote
CSCW
2002
ACM
15 years 4 days ago
2002
ACM
Through ethnographic research, we document the rise of personal social networks in the workplace, which we call intensional networks. Paradoxically, we find that the most fundament...