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.
Settore M-FIL/02 - Logica e Filosofia della Scienza
   BIAS, RISK, OPACITY in AI: design, verification and development of Trustworthy AI
   BRIO
   MINISTERO DELL'ISTRUZIONE E DEL MERITO
   2020SSKZ7R_001
feb-2022
Book Part (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/953669
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact