pLam - a pure λ-calculus interpreter Computer Science

---

• pLam - a pure λ-calculus interpreter
• CCI-Based Web Security: A Design Using PGP (1995) - 23 years later, still no common interface for trustable end-to-end encryption built into the browser
• Please help
• The Complete Guide to Learn Modern Python 3
• Introduction to Big Data

pLam - a pure λ-calculus interpreter Posted: 24 Nov 2018 01:00 PM PST I'd like to present my interpreter for learning and exploring pure λ-calculus. It could be very useful for anyone getting into or already experienced with λ-calculus. There are a lot of useful expressions already written that can be imported and used to construct new interesting expressions. It even has an implementation of binary numerals! Also, there is a mode to see all reduction steps and to color redex and its components going into the next reduction. GitHub repository Comments, suggestions, watchers, stars, forks... all are very welcome :) pLam shell submitted by /u/Sandro_Lovnicki [link] [comments]

CCI-Based Web Security: A Design Using PGP (1995) - 23 years later, still no common interface for trustable end-to-end encryption built into the browser Posted: 24 Nov 2018 11:16 AM PST submitted by /u/Ask-Alice [link] [comments]

Please help Posted: 25 Nov 2018 04:11 AM PST submitted by /u/gurudevX2 [link] [comments]

The Complete Guide to Learn Modern Python 3 Posted: 25 Nov 2018 01:45 AM PST submitted by /u/kfgzro [link] [comments]

Introduction to Big Data Posted: 24 Nov 2018 11:42 PM PST submitted by /u/okelloaliwa [link] [comments]

You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now.	Email delivery powered by Google
Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States