activity
20092023
most citedA Coinductive Approach to Proof Search through Typed Lambda-Calculi

9 citations · 26 across the 9 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.PL2021★ 5 cited

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg

In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library bas…