Graph explorer

Henning Basold

Henning Basold contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview mapHenning Basold
6 nodes5 links
Henning Basold6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAHenning BasoldResearcherWCoinduction in Uniform:...preprint / 2022WTransformation von Scad...preprint / 2014WDependent Inductive and...preprint / 2015WType Theory based on De...preprint / 2016WThe New Normal: We Cann...preprint / 2020
PersonSignal 105 links

Henning Basold

Researcher

Open