Want to model the progress of a disease over a month's time? Sure, just write a calculus equation that would model the statistics of the disease's progression for one hour at a time. Got that done?

This repo is a collection of tools for writing programs in lambda calculus and SKI combinator calculus, written by various authors. This repo is designed and intended to be used as a dependency ...

For the last few lectures, we've been studing the semantics of IMP, a fairly simple imperative language we created because it roughly emulated what we think a "normal" language looks like—it has ...

Abstract: Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there is much ...

At the end of Lecture 6 we tried our hand at "baking in" booleans into the lambda calculus, to try to ease the pain of writing everything using Church encodings. This seemed like a natural evolution ...

The Mathematical Association of America has recognized BYU's calculus program as one of the top 16 in the nation. In fall of 2010 over 200 colleges and universities participated in a survey supported ...

The Vital Skills Needed to Become an Engineer: CAD, Programming and Calculus There is a lot to consider when attempting to become an engineer. But there are ways to increase your odds of finding ...