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