Zobrazeno 1 - 3
of 3
pro vyhledávání: '"M Clarence Protin"'
Autor:
M. Clarence Protin, Gilda Ferreira
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
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 inhabitation remains undecidable even in the predicative fragment of system F in
Externí odkaz:
https://doaj.org/article/ca7ce011721f4ebf82d76778dbb4bdb5
Autor:
M Clarence Protin
Publikováno v:
Journal of Logic and Computation. 31:416-425
Atomic polymorphism $\mathbf{F_{at}}$ is a restriction of Girard and Reynold’s system $\mathbf{F} $(or $\lambda 2$) which was first introduced in Ferreira [ 2] in the context of a philosophical commentary on predicativism. $\lambda 2$ is a well-kno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc0e85235a6ace8f79cd6af1fb4e6b69
https://doi.org/10.1093/logcom/exaa090
https://doi.org/10.1093/logcom/exaa090
Autor:
Pedro Resende, M. Clarence Protin
Publikováno v:
Journal of Noncommutative Geometry. :199-247
It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and infinitely dist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eddbb8a677816b0141cb6bbe11856611
https://doi.org/10.4171/jncg/90
https://doi.org/10.4171/jncg/90