research
∙
03/09/2023
Clones, polymorphisms and relations of arity omega
Polymorphisms of arity omega have recently been used in the proof of mod...
share
research
∙
04/01/2022
Sequent calculi of finite dimension
In recent work, the authors introduced the notion of n-dimensional Boole...
research
∙
02/10/2020
The Bang Calculus Revisited
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Call-...
research
∙
12/14/2018
Observability = Typability + Inhabitation
We define an observability property for a calculus with pattern matching...
research
∙
06/18/2018
Boolean-like algebras of finite dimension
We introduce Boolean-like algebras of dimension n (nBA) having n constan...
research
∙
12/11/2017
