5 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Jean-Marie Chauvet
Recent advances in programming languages study and design have established a standard way of grounding computational systems representation in category theory. These formal results…