standardization | Sciweavers

18

TCS
2010

151views Theoretical Computer Science» more TCS 2010»

Strong normalization property for second order linear logic

13 years 5 months ago

The paper contains the ﬁrst complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...

Michele Pagani, Lorenzo Tortora de Falco

claim paper

Read More »

21

click to vote

ITP
2010

155views Mathematics» more ITP 2010»

Translation in XBRL standardization

13 years 5 months ago

Download www.infotech.monash.edu.au

eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...

Indrit Troshani, Andy Lymer

claim paper

Read More »

19

click to vote

ISTA
2008

98views Information Technology» more ISTA 2008»

Standardizing Methodology Metamodelling and Notation: An ISO Exemplar

13 years 8 months ago

Download www.pa.icar.cnr.it

Standardization within a discipline often reflects its maturity. Within software engineering, standardization occurs in many areas

Brian Henderson-Sellers, Cesar Gonzalez-Perez

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers