Online Library TheLib.net » Тема, жанр, tags: Curry-Howard Isomorphisme de,lambda calcul,Lambda-calcul,lambda calcul typé,Théorie de la démonstrat
book Derivation and computation: taking the Curry-Howard correspondence seriously
Derivation and computation: taking the Curry-Howard correspondence seriously
djvu
00
07.02.2024
0
0
Read online
book Lambda-calculus, combinators and functional programming
Lambda-calculus, combinators and functional programming
djvu
00
30.01.2024
0
0
Read online
book The calculi of lambda-conversion
The calculi of lambda-conversion
pdf
00
27.01.2024
0
0
Read online