In the embedded notebook below, I develop a computational essay concerning the implementation of a part of the spi-calculus in the Wolfram language. The notebook is based on these slides.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Implementing WolframAlpha's Cryptograms Functionality In Mathematica | 1 | 12804 | June 21, 2019 | |
| Do logicians use Wolfram Language? | 1 | 7198 | April 16, 2021 | |
| A symbolic implementation of the quantum one-time pad | 0 | 2610 | December 1, 2020 | |
| Cryptograms for home schoolers | 3 | 19772 | September 7, 2020 | |
| Universal bitwise function composition from Church numerals in lambda calculus | 1 | 4168 | July 29, 2025 |