Valerie Novitzká

TL;DR: This paper tries to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as space (memory) and time, and shows the relationship between space and time in designs.

TL;DR: This work constructs Kripke model over a coalgebra of modal linear logic for pursuing observable behaviour of IDS and shows how knowledge and belief in the terms of epistemic linear logic can be achieved.

TL;DR: This paper uses coalgebras for modelling structural operational semantics of a simple imperative language and starts with a short introduction of basic notions.

TL;DR: A new approach to structural operational semantics of imperative programming languages is presented, which model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps.

TL;DR: This paper shows how the semantics of first-order formulas can be derived from their usual deduction rules by modeling the categorical semantics in the RISCAL (RISC Algorithm Language) system which allows us to validate the core propositions by automatically checking them in finite models.