Abstract: Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus ...

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

Java graphing calculator, ICS 10 summative. Has calculus, equation solving, statistical, and curve fitting features. Implements Shunting-Yard algorithm. Created with Matthew Chiang and Frederick Ngo ...