Adam Obtułowicz

• The logic of categories of partial functions and its applications