50 citations · 180 across the 26 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 16 cited
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, Mathys Rennela +1
Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive dat…
cs.LO2019
Reflecting Algebraically Compact Functors
Vladimir Zamdzhiev
A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property u…
cs.PL2019★ 5 cited
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which e…