research
∙
03/09/2023
Clones, polymorphisms and relations of arity omega
Polymorphisms of arity omega have recently been used in the proof of mod...
research
∙
04/01/2022
Sequent calculi of finite dimension
In recent work, the authors introduced the notion of n-dimensional Boole...
research
∙
06/18/2018