BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (4)
relat (2)
structur (1)
calculi (1)
cryptograph (1)

Stem lax$ (all stems)

4 papers:

CSLCSL-2011-JeffreyR #streaming
The Lax Braided Structure of Streaming I/O (AJ, JR), pp. 292–306.
CSLCSL-2004-Goubault-LarrecqLNZ #encryption #logic #λ-calculus
Complete Lax Logical Relations for Cryptographic λ-Calculi (JGL, SL, DN, YZ), pp. 400–414.
CADECADE-2002-Egly #logic
Embedding Lax Logic into Intuitionistic Logic (UE), pp. 78–93.
ICALPICALP-2000-PlotkinPST #logic
Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.

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.