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