A small Java library implementing core 3D vector and matrix operations from scratch. This project was built to explore the mathematical foundations of linear algebra, vector geometry, and linear ...

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

Abstract: This paper presents a formal imperative calculus to formalize the semantics of class-based object-oriented programming languages. The tractability of this approach is demonstrated by our ...

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