SK Calculus or SK Combinator Calculus is a Turing complete computational system, that can be regarded as a reduced version of the ...

Implementation of an interactive interpreter for the calculus Featherweight Java. The tests have been written exploiting a ...

This post was published on the now-closed HuffPost Contributor platform. Contributors control their own work and posted freely to ...