#referencerequest — Public Fediverse posts

Aside from Types and Programming Languages from B. Pierce and The Lambda Calculus — Its Syntax and Semantics by H. Barendregt, is there any resource on #lambda calculus you'd recommend? Preferably open-source, accessible on-line, and with exercises? Thanks! #referencerequest #λ #calculus #textbook

Aside from Types and Programming Languages from B. Pierce and The Lambda Calculus — Its Syntax and Semantics by H. Barendregt, is there any resource on #lambda calculus you'd recommend? Preferably open-source, accessible on-line, and with exercises? Thanks! #referencerequest #λ #calculus #textbook

Reference implementation of Shamir's Secret Sharing

https://crypto.stackexchange.com/questions/105502/reference-implementation-of-shamirs-secret-sharing

#referencerequest #implementation #secretsharing

Reference implementation of Shamir's Secret Sharing

https://crypto.stackexchange.com/questions/105502/reference-implementation-of-shamirs-secret-sharing

#referencerequest #implementation #secretsharing