7 citations · 10 across the 2 of their papers we have counts for
1 paper · 1 filter
Andrea Asperti, Enrico Tassi
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions…