« Home
/
GitHub

Explorations in the Lambda Calculus

Date

November, 2021 - February, 2022

Languages

Mathematica, Rust

Platforms

Platforms with Wolfram Mathematica support, Platforms with Rust support

'About' data not found. From the Resume entry:

Conducted a three-month-long exploration of lambda calculus and its applications in mathematical logic and programming language theory with Lawrenceville’s Miguel Bayona. The final project included a presentation and two interpreters, written in Rust and Mathematica.