BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Typability and Type Inference in Atomic Polymorphism

Participants in the publication
M. Clarence Protin (Author)
Gilda Ferreira (Author)
LASIGE
 CMAFcIO
Date of Submisson/Request
2021-04-29
Date of Acceptance
2022-07-06
Date of Publication
2022-08-12

Institution
UNIVERSIDADE ABERTA

Where published
Logical Methods in Computer Science

Publication Identifiers
ISSN - 1860-5974

Publisher
Centre pour la Communication Scientifique Directe (CCSD)

Volume
Volume 18, Issue 3

Number of pages
22
Starting page
1
Last page
22

Document Identifiers
DOI - https://doi.org/10.46298/lmcs-18(3:22)2022
URL - http://dx.doi.org/10.46298/lmcs-18(3:22)2022

Rankings
SCIMAGO Q2 (2021) - 696 - Theoretical Computer Science
Google Metrics (2021) - 26

Keywords
atomic polymorphism typability type inference intuitionistic logic lambda calculus


Export

APA
M. Clarence Protin, Gilda Ferreira, (2022). Typability and Type Inference in Atomic Polymorphism. Logical Methods in Computer Science, Volume 18, Issue 3, 1-22. ISSN 1860-5974. eISSN . http://dx.doi.org/10.46298/lmcs-18(3:22)2022

IEEE
M. Clarence Protin, Gilda Ferreira, "Typability and Type Inference in Atomic Polymorphism" in Logical Methods in Computer Science, vol. Volume 18, Issue 3, pp. 1-22, 2022. 10.46298/lmcs-18(3:22)2022

BIBTEX
@article{56683, author = {M. Clarence Protin and Gilda Ferreira}, title = {Typability and Type Inference in Atomic Polymorphism}, journal = {Logical Methods in Computer Science}, year = 2022, pages = {1-22}, volume = Volume 18, Issue 3 }