4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Thomas Lamiaux, Benedikt Ahrens
Characterizing programming languages with variable binding as initial objects, was first achieved by Fiore, Plotkin, and Turi in their seminal paper published at LICS'99. To do so,…