Benedikt Ahrens

Artificial Intelligence · 1 papers · 2016

A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 17 citations into it; #27,838 of 35,345 by trust here, #27,551 by citations
• Computational Theory and Mathematics — 10 citations into it; #9,690 of 12,182 by trust here, #7,851 by citations

Whom Benedikt Ahrens trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Marcelo P. Fiore
2. Richard S. Bird
3. André Hirschowitz
4. Ralph Matthes
5. Benedikt Ahrens
6. Marco Maggesi
7. Ross A. Paterson
8. Tarmo Uustalu

Who trusts Benedikt Ahrens overall

1. Michael Gygli
2. Alexander L. Gaunt

Papers from Benedikt Ahrens's perspective

Ordered by how strongly the researchers Benedikt Ahrens trusts endorse each paper. Same corpus, a different order for every researcher.

1. Generalised folds for nested datatypes
2. Second-Order and Dependently-Sorted Abstract Syntax
3. Modules over monads and initial semantics
4. The groupoid interpretation of type theory
5. Substitution in Non-wellfounded Syntax with Variable Binding
6. de Bruijn notation as a nested datatype
7. A framework for typed HOAS and semantics
8. Categories for the Working Mathematician
9. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
10. Inductive Types and Type Constraints in the Second-Order lambda Calculus

Their papers

• Heterogeneous substitution systems revisited (2016) — 218 citations