Stem lax$ (all stems)

4 papers:

CSL-2011-JeffreyR #streaming

The Lax Braided Structure of Streaming I/O (AJ, JR), pp. 292–306.

CSL-2004-Goubault-LarrecqLNZ #encryption #logic #λ-calculus

Complete Lax Logical Relations for Cryptographic λ-Calculi (JGL, SL, DN, YZ), pp. 400–414.

CADE-2002-Egly #logic

Embedding Lax Logic into Intuitionistic Logic (UE), pp. 78–93.

ICALP-2000-PlotkinPST #logic

Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.