18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2021
Typability and Type Inference in Atomic Polymorphism
M. Clarence Protin, Gilda Ferreira
It is well-known that typability, type inhabitation and type inference are undecidable in the Girard-Reynolds polymorphic system F. It has recently been proven that type inhabitati…
math.CT2008★ 18 cited
Quantales of open groupoids
M. Clarence Protin, Pedro Resende
It is well known that inverse semigroups are closely related to étale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between loca…