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 × Portugal
1 × Serbia
1 × Spain
1 × United Kingdom
2 × Poland
2 × USA
Collaborated with:
S.Coupet-Grimal A.Madet F.Dabrowski L.Cardelli M.Dam K.B.Bruce G.Longo S.Dal-Zilio L.Jakubiec
Talks about:
calculus (4) order (4) second (2) higher (2) domain (2) model (2) type (2) multithread (1) elementari (1) interpret (1)

Person: Roberto M. Amadio

DBLP DBLP: Amadio:Roberto_M=

Facilitated 1 volumes:

FoSSaCS 2008Ed

Contributed to:

TLCA 20112011
PPDP 20072007
CSL 20042004
TLCA 20032003
FoSSaCS 19981998
POPL 19911991
LICS 19881988
LICS 19861986
TAPSOFT, Vol.1: CAAP 19911991

Wrote 10 papers:

TLCA-2011-MadetA #multi #thread #λ-calculus
An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.
PPDP-2007-AmadioD #π-calculus
Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.
CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
Max-Plus Quasi-interpretations (RMA), pp. 31–45.
FoSSaCS-1998-AmadioC #analysis #type system
Analysis of a Guard Condition in Type Theory (RMA, SCG), pp. 48–62.
POPL-1991-AmadioC #recursion #type system
Subtyping Recursive Types (RMA, LC), pp. 104–118.
LICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
LICS-1986-AmadioBL #equation #higher-order #λ-calculus
The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
CAAP-1991-Amadio #framework
Domains in a Realizability Framework (RMA), pp. 241–263.
TAPSOFT-1995-AmadioD #higher-order #process #reasoning
Reasoning about Higher-Order Processes (RMA, MD), pp. 202–216.

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.