31 citations · 133 across the 23 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…