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 × Poland
1 × United Kingdom
Collaborated with:
A.Momigliano M.Z.Kwiatkowska N.Measor
Talks about:
calculus (1) abstract (1) dualiti (1) syntax (1) reason (1) higher (1) order (1) multi (1) modal (1) level (1)

Person: Simon Ambler

DBLP DBLP: Ambler:Simon

Contributed to:

FoSSaCS 20032003
CSL 19931993

Wrote 2 papers:

FoSSaCS-2003-MomiglianoA #higher-order #multi #syntax
Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
CSL-1993-AmblerKM #calculus #on the #μ-calculus
On Duality for the Modal μ-Calculus (SA, MZK, NM), pp. 18–32.

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.