Misha Clarence Lewis Protin
AuthID: R-001-ETX
1
TITLE: TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM
AUTHORS: Protin, M. Clarence; Ferreira, Gilda;
PUBLISHED: 2021, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
AUTHORS: Protin, M. Clarence; Ferreira, Gilda;
PUBLISHED: 2021, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Quantales of open groupoids
AUTHORS: Clarence C Protin; Pedro Resende ;
PUBLISHED: 2012, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 6, ISSUE: 2
AUTHORS: Clarence C Protin; Pedro Resende ;
PUBLISHED: 2012, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 6, ISSUE: 2
