18 citations · 90 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.OA2019
Orthogeometries and AW*-algebras
John Harding, Bert Lindenhovius
Based on results of Harding, Heunen, Lindenhovius and Navara, (2019), we give a connection between the category of AW*-algebras and their normal Jordan homomorphisms and a category…
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…