The Master in Logic at the University of Gothenburg offers a variety of courses with a core focus on Mathematical Logic, providing a solid foundation for the study of Logic. Additional courses in ...

PulseCore is a new program logic suitable for intrinsic proofs of higher-order, stateful, concurrent, dependently typed programs. It provides many of the features of a modern, concurrent separation ...

Abstract: We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI describes ...

Functional programming, as the name implies, is about functions. While functions are part of just about every programming paradigm, including JavaScript, a functional programmer has unique ...

CHICAGO—Join Core for the webinar "Logic Models: Your Strategic Magic Wand" on April 16, 2024, at 1 p.m. CT. Funders are very interested in seeing a program logic model in grant proposals, and program ...