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 × Austria
1 × Poland
1 × Spain
1 × United Kingdom
Collaborated with:
Y.Zhang J.Goubault-Larrecq S.Lasota R.Lazic
Talks about:
relat (3) logic (3) cryptograph (1) independ (1) creation (1) definit (1) complet (1) calculi (1) semant (1) monad (1)

Person: David Nowak

DBLP DBLP: Nowak:David

Contributed to:

CSL 20042004
CSL 20032003
TLCA 20032003
CSL 20022002

Wrote 4 papers:

CSL-2004-Goubault-LarrecqLNZ #encryption #logic #λ-calculus
Complete Lax Logical Relations for Cryptographic λ-Calculi (JGL, SL, DN, YZ), pp. 400–414.
CSL-2003-ZhangN #logic
Logical Relations for Dynamic Name Creation (YZ, DN), pp. 575–588.
TLCA-2003-LazicN #independence #on the #semantics
On a Semantic Definition of Data Independence (RL, DN), pp. 226–240.
CSL-2002-Goubault-LarrecqLN #logic #monad
Logical Relations for Monadic Types (JGL, SL, DN), pp. 553–568.

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.