| HAL-Inria | Publications, software ... of Inria's scientists |
Note on Curry's style for Linear Call-by-Push-Value
Abstract : We present Curry-style calculi for intuitionistic (linear) logic with polarised evaluation order and give self-contained proofs of their main properties and of their interpretation into (Linear) Call-by-Push-Value models: subject reduction, confluence, strong normalisation, coherence, soundness, and focusing.
Cited literature [29 references]
https://hal.inria.fr/hal-01528857
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Sunday, September 10, 2017 - 11:38:45 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Sunday, September 10, 2017 - 11:38:45 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM
File
curry.pdf
Files produced by the author(s)