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 × Germany
1 × United Kingdom
Collaborated with:
A.Saurin D.Baelde M.Bagnol
Talks about:
infinitari (1) greatest (1) multipl (1) theori (1) depend (1) proof (1) point (1) ludic (1) logic (1) least (1)

Person: Amina Doumane

DBLP DBLP: Doumane:Amina

Contributed to:

CSL 20152015
FoSSaCS 20152015
CSL 20162016

Wrote 3 papers:

CSL-2015-BaeldeDS #fixpoint
Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
FoSSaCS-2015-BagnolDS #dependence #logic #on the
On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.
CSL-2016-BaeldeDS #multi #proving
Infinitary Proof Theory: the Multiplicative Additive Case (DB, AD, AS), p. 17.

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.