Interaction Calculus The Interaction Calculus (IC) is a minimal programming language and model of computation obtained by "completing" the affine Lambda Calculus in a way that matches perfectly ...

git clone https://github.com/daveying/lambda-calculus-cpp.git cd lambda-calculus-cpp mkdir build && cd build cmake .. make -j8 && ctest -VV ...

Abstract: This paper presents a linear logic programming language, called O⊸ that gives a complete account of an object-oriented calculus with inheritance and override. This language is best ...

Abstract: We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasoning in a logic programming framework. This extended language provides for a linear temporal ...

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 ...

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 ...

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?

How does one become an engineer? It is a question poised by many curious minds wondering how to take a step onto the path of engineering. The rite of passage in becoming an engineer must be earned by ...