Concepedia

Bert Lindenhovius

BL

Statistics

Publications

3

Citations

47

H-Index

3

Active since

2018

Affiliations

Tulane University(Current)

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Université de Lorraine

Bert Lindenhovius is an author at Tulane University specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2018–2021

3

Publications

3

Commutative Monads for Probabilistic Programming Languages

Xiaodong Jia, Bert Lindenhovius, Michael Mislove et al. · 2021 · 17 citations · Full text

Enriching a Linear/Non-linear Lambda Calculus

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev · 2018 · 16 citations

, , +15

Mixed linear and non-linear recursive types

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev · Proceedings of the ACM on Programming Languages · 2019 · 14 citations · Full text

, , +13

1–3 of 3