2742 search results - page 9 / 549 » Deriving Category Theory from Type Theory |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
TSP
2008
13 years 7 months ago
2008
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
GROUP
2007
ACM
13 years 11 months ago
2007
ACM
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
WOSP
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...