« Home
/
Resume
/
GitHub

Explorations in the Lambda Calculus


On Resume?

True

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.