Data di Pubblicazione:
2022
Citazione:
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
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.
Tipologia IRIS:
03 - Contributo in volume
Elenco autori:
G. Primiero
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Logically Speaking : A Festschrift for Marie Duží