BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Polymorphic higher-order context-free session types

Participants in the publication
Diana Costa (Author)
Dep. Informática
 LASIGE
 Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Diogo Poças (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2024-06

Where published
Theoretical Computer Science

Publication Identifiers
ISSN - 0304-3975

Publisher
Elsevier BV

Volume
1001

Starting page
114582

Document Identifiers
DOI - https://doi.org/10.1016/j.tcs.2024.114582
URL - http://dx.doi.org/10.1016/j.tcs.2024.114582

Rankings
SCIMAGO Q2 (2023) - 0.57 - Theoretical Computer Science
Google Metrics (2024) - 39


Export

APA
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, (2024). Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001, ISSN 0304-3975. eISSN . http://dx.doi.org/10.1016/j.tcs.2024.114582

IEEE
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, "Polymorphic higher-order context-free session types" in Theoretical Computer Science, vol. 1001, 2024. 10.1016/j.tcs.2024.114582

BIBTEX
@article{62236, author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos}, title = {Polymorphic higher-order context-free session types}, journal = {Theoretical Computer Science}, year = 2024, volume = 1001 }