72 citations · 159 across the 26 of their papers we have counts for
1 paper · 1 filter
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont +1
We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. More precisely, we study a notion of "signature" for specifyi…