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