BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Finland
1 × France
1 × Poland
Collaborated with:
R.Statman G.D.Penna A.R.Laurenzi S.Orefice A.D.Marco I.Melatti A.Pierantonio
Talks about:
calculus (2) rule (2) methodolog (1) interoper (1) scenario (1) diagram (1) develop (1) complet (1) between (1) toward (1)

Person: Benedetto Intrigila

DBLP DBLP: Intrigila:Benedetto

Contributed to:

TLCA 20072007
LICS 20042004
SEKE 20042004
FASE 20032003

Wrote 4 papers:

TLCA-2007-IntrigilaS #calculus
The ω-Rule is Π¹₁-Complete in the λβ-Calculus (BI, RS), pp. 178–193.
LICS-2004-IntrigilaS #calculus
The ω-Rule is Π⁰₂-Hard in the λβ-Calculus (BI, RS), pp. 202–210.
SEKE-2004-PennaILO #development
A Methodology for Scenario Development (GDP, BI, ARL, SO), pp. 7–12.
FASE-2003-PennaMIMP #diagrams #named #towards #xml
Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.