×
Edit Profile (opens in new tab)

Lindenhovius, Bert

Co-Author Distance
Author ID: lindenhovius.bert Recent zbMATH articles by "Lindenhovius, Bert"
Published as: Lindenhovius, Bert
Documents Indexed: 14 Publications since 2014, including 4 Additional arXiv Preprints
Co-Authors: 10 Co-Authors with 13 Joint Publications
273 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
7 Mislove, Michael W.
5 Zamdzhiev, Vladimir
3 Heunen, Chris
3 Kornell, Andre
2 Jia, Xiaodong
1 Harding, John
1 Jenča, Gejza
1 Landsman, Nicolaas P.
1 Navara, Mirko
1 Vetterlein, Thomas

Serials

1 International Journal of Theoretical Physics
1 Order
1 Mathematical Structures in Computer Science
1 Indagationes Mathematicae. New Series
1 Logical Methods in Computer Science
all top 5

Fields

8 Order, lattices, ordered algebraic structures (06-XX)
7 Functional analysis (46-XX)
6 Quantum theory (81-XX)
5 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
2 Category theory; homological algebra (18-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Operator theory (47-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 33 times in 20 Documents Cited by ▼ Year ▼
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
14
2018
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
6
2019
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 1535.68045
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
6
2021
A category of quantum posets. Zbl 1512.81052
Kornell, Andre; Lindenhovius, Bert; Mislove, Michael
4
2022
Domains of commutative C-subalgebras. Zbl 1395.68181
Heunen, Chris; Lindenhovius, Bert
3
2015
A category of quantum posets. Zbl 1512.81052
Kornell, Andre; Lindenhovius, Bert; Mislove, Michael
4
2022
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 1535.68045
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
6
2021
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
6
2019
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
14
2018
Domains of commutative C-subalgebras. Zbl 1395.68181
Heunen, Chris; Lindenhovius, Bert
3
2015
all cited Publications top 5 cited Publications
all top 5

Cited by 23 Authors

6 Zamdzhiev, Vladimir
5 Lindenhovius, Bert
2 Harding, John
2 Heunen, Chris
2 Kornell, Andre
2 Mislove, Michael W.
2 Rennela, Mathys
2 Vetterlein, Thomas
1 Ahmed, Amal
1 Eva, Benjamin
1 Felty, Amy P.
1 Jenča, Gejza
1 Licata, Daniel R.
1 Lindenhoviu, Bert
1 Lindenhovius, A. J.
1 Mahmoud, Mohamed Yousri
1 New, Max S.
1 Ozawa, Masanao
1 Paseka, Jan
1 Péchoux, Romain
1 Perdrix, Simon
1 Staton, Sam
1 Valiron, Benoît
all top 5

Cited in 11 Serials

2 International Journal of Theoretical Physics
2 Journal of Noncommutative Geometry
2 Logical Methods in Computer Science
1 Houston Journal of Mathematics
1 Journal of Pure and Applied Algebra
1 Order
1 Journal of Automated Reasoning
1 Mathematical Structures in Computer Science
1 Journal of Functional Programming
1 The Review of Symbolic Logic
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 7 Fields

12 Quantum theory (81-XX)
9 Functional analysis (46-XX)
9 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
6 Category theory; homological algebra (18-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
1 Topological groups, Lie groups (22-XX)

Citations by Year