18 citations · 90 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math-ph2018
Symmetries in exact Bohrification
Klaas Landsman, Bert Lindenhovius
The `Bohrification" program in the foundations of quantum mechanics implements Bohr's doctrine of classical concepts through an interplay between commutative and non-commutative op…
cs.LO2018★ 18 cited
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a c…