Filter your results
- 4
- 3
- 1
- 1
- 4
- 1
- 2
- 1
- 4
- 4
- 4
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
4 Results
|
|
sorted by
|
|
On Quantitative Algebraic Higher-Order TheoriesFSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel
Conference papers
hal-03921800v1
|
||
|
On Generalized Metric Spaces for the Simply Typed Lambda-CalculusLICS 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
|
||
|
Curry and Howard Meet BorelLICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533361⟩
Conference papers
hal-03921650v1
|
||
|
Curry and Howard Meet Borel2023
Preprints, Working Papers, ...
hal-03921649v1
|