8582 search results - page 9 / 1717 » Here or There |
AML
1998
14 years 11 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
PRICAI
2010
Springer
14 years 10 months ago
2010
Springer
We briefly describe here some of the content of a talk to be given at the conference.
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
The abstract goes here.
CONCUR
2005
Springer
15 years 5 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
14 years 10 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 ...