126
Voted
TCS
2010
15 years 4 days ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
114
Voted
ITP
2010
15 years 6 days ago
2010
eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...
106
click to vote
ISTA
2008
15 years 3 months ago
2008
Standardization within a discipline often reflects its maturity. Within software engineering, standardization occurs in many areas