8582 search results - page 9 / 1717 » Here or There |
AML
1998
13 years 7 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
PRICAI
2010
Springer
13 years 6 months ago
2010
Springer
We briefly describe here some of the content of a talk to be given at the conference.
ICTAI
2010
IEEE
13 years 4 months ago
2010
IEEE
The abstract goes here.
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
RTA
2010
Springer
13 years 6 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...