35 citations · 105 across the 17 of their papers we have counts for
1 paper · 1 filter
Marcelo Fiore, Ola Mahmoud
The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this pap…