ResearchIndex: Proof Theoretic Approach To Specification Languages

ResearchIndex: Proof Theoretic Approach To Specification Languages- Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß calculus.