TLCA
1999
Springer
14 years 3 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
TLCA
1999
Springer
14 years 3 months ago
1999
Springer
TLCA
1999
Springer
14 years 3 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...