Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic 41 (1):91-99 (2002)
Download Edit this record How to cite View on PhilPapers
This article has no associated abstract. (fix it)
PhilPapers/Archive ID
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA
A Strong Normalization Result for Classical Logic.Barbanera, Franco & Berardi, Stefano

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
84 ( #30,031 of 43,789 )

Recent downloads (6 months)
13 ( #37,370 of 43,789 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.