HTLC, for Hyperintensional Typed Lambda Calculus, is an extension of the typed λ-calculus with hyperintensions and re- lated rules, introduced in [11]. This contribution introduces HTLCp, which adapts the former to hyperintensions for non- deterministic processes. We formulate appropriate conditions for reasoning with such objects, discuss its metatheory and con- clude with some observation comparing it with the semantics of Transparent Intensional Logic.
Hyperintensions for Probabilistic Computations / G. Primiero (TRIBUTES). - In: Logically Speaking : A Festschrift for Marie Duží / [a cura di] P. Materna, B. Jespersen. - [s.l] : College Publications, 2022 Feb. - ISBN 978-1-84890-419-4. - pp. 311-328
Hyperintensions for Probabilistic Computations
G. Primiero
2022
Abstract
HTLC, for Hyperintensional Typed Lambda Calculus, is an extension of the typed λ-calculus with hyperintensions and re- lated rules, introduced in [11]. This contribution introduces HTLCp, which adapts the former to hyperintensions for non- deterministic processes. We formulate appropriate conditions for reasoning with such objects, discuss its metatheory and con- clude with some observation comparing it with the semantics of Transparent Intensional Logic.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Collection-template-PRIMIERO.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
368.03 kB
Formato
Adobe PDF
|
368.03 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
