292 search results - page 8 / 59 » A linearization of the Lambda-calculus and consequences |
LICS
1995
IEEE
15 years 1 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
64
Voted
JSYML
2008
14 years 9 months ago
2008
The purpose of this note is to demonstrate that a weak form of club guessing on 1 implies the existence of an Aronszajn line with no Countryman suborders. An immediate consequence ...
AAECC
1997
Springer
15 years 1 months ago
1997
Springer
Various forms of the extension problem are discussed for linear codes de ned over nite rings. The extension theorem for symmetrized weight compositions over nite Frobenius rings is...
67
Voted
ICCS
2004
Springer
15 years 2 months ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
COLT
2006
Springer
15 years 1 months ago
2006
Springer
We address the problem of online de-noising a stream of input points. We assume that the clean data is embedded in a linear subspace. We present two online algorithms for tracking ...