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