BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
Collaborated with:
∅
Talks about:
transform (1) predic (1) linear (1) model (1) logic (1) denot (1) anoth (1) yet (1)

Person: Pierre Hyvernat

DBLP DBLP: Hyvernat:Pierre

Contributed to:

CSL 20042004

Wrote 1 papers:

CSL-2004-Hyvernat #linear #logic
Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.
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.