1101 search results - page 152 / 221 » Forcing in proof theory |
122
click to vote
FOCM
2010
15 years 2 months ago
2010
We study the boundary measures of compact subsets of the d-dimensional Euclidean space, which are closely related to Federer’s curvature measures. We show that they can be comput...
137
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
122
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
158
click to vote
IMCSIT
2010
15 years 1 months ago
2010
In the present text, we deal with the problem of classification of speech emotion. Problems of speech processing are addressed through the use of artificial neural networks (ANN). ...
158
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...