Graph explorer

Andreas Abel

Andreas Abel contributes to research discovery and scholarly infrastructure.

12 nodes11 linksoverview mapAndreas Abel
12 nodes11 links
Andreas Abel12 visible / 12 total nodes / 11 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAndreas AbelResearcherWuiCA: Accurate Throughp...preprint / 2022WExplicit Substitutions ...preprint / 2010WMiniAgda: Integrating S...preprint / 2010WA Lambda Term Represent...preprint / 2011WType-Based Termination,...preprint / 2012WNormalization by Evalua...preprint / 2014WOn Irrelevance and Algo...preprint / 2012WSemi-continuous Sized T...preprint / 2008WA Modular Type-checking...preprint / 2011WFlushgeist: Cache Leaks...preprint / 2020WType checking through u...preprint / 2016
PersonSignal 1011 links

Andreas Abel

Researcher

Open