-
Total Functions for Automated Reasoning: Building Terminating Theorem Provers
LambdaWorld'25 talk
Oct 10, 2025
47
0
-
Теоремы, которые меняют мир: от компиляторов до экономики
Jan 23, 2025
109
0
-
IMDEA Fearless Programming and Reasoning with Infinities
Jun 05, 2024
189
0
-
Languages all the way down
Oct 18, 2022
378
0
-
Modal types for fun and profit
Sep 18, 2019
1,703
0
