4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Stefania Damato, Thorsten Altenkirch, Axel Ljungström
Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of locally cartesian closed c…