Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Image document

On Quantitative Algebraic Higher-Order Theories

Ugo Dal Lago , Furio Honsell , Marina Lenisa , Paolo Pistone
FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel
Conference papers hal-03921800v1
Image document

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Paolo Pistone
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470696⟩
Conference papers hal-03346950v1
Image document

Curry and Howard Meet Borel

Melissa Antonelli , Ugo Dal Lago , Paolo Pistone
LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533361⟩
Conference papers hal-03921650v1
Image document

Curry and Howard Meet Borel

Melissa Antonelli , Ugo Dal Lago , Paolo Pistone
2023
Preprints, Working Papers, ... hal-03921649v1