18 citations · 80 across the 12 of their papers we have counts for
1 paper · 1 filter
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…