157
click to vote
TYPES
15 years 6 months ago
2007 Springer 
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...
TYPES
15 years 6 months ago
2007 Springer  TYPES
15 years 6 months ago
2007 Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
TYPES
15 years 6 months ago
2007 Springer  TYPES
15 years 6 months ago
2007 Springer |
Formal Methods