8 citations · 29 across the 15 of their papers we have counts for
3 papers · 1 filter
Inductive and Coinductive Predicate Liftings for Effectful Programs
Niccolò Veltri, Niels F. W. Voorneveld
We formulate a framework for describing behaviour of effectful higher-order recursive programs. Examples of effects are implemented using effect operations, and include: execution…
Proof Theory of Partially Normal Skew Monoidal Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
The skew monoidal categories of Szlachányi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to…
Deductive Systems and Coherence for Skew Prounital Closed Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew c…