BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
Higher-order Context-free Session Types in System F

Participantes na publicação
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

Data de Publicação
2022-03-24

Evento
Electronic Proceedings in Theoretical Computer Science

Identificadores da Publicação
ISSN - 2075-2180

Editora
Open Publishing Association

Volume
356

Número de Páginas
12
Página Inicial
24
Página Final
35

Identificadores do Documento
DOI - https://doi.org/10.4204/eptcs.356.3
URL - http://dx.doi.org/10.4204/eptcs.356.3

Identificadores de Qualidade
Google Metrics (2023) - 23


Exportar referência

APA
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, (2022). Higher-order Context-free Session Types in System F. Electronic Proceedings in Theoretical Computer Science, 24-35

IEEE
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, "Higher-order Context-free Session Types in System F" in Electronic Proceedings in Theoretical Computer Science, , 2022, pp. 24-35, doi: 10.4204/eptcs.356.3

BIBTEX
@InProceedings{56723, author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos}, title = {Higher-order Context-free Session Types in System F}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, year = 2022, pages = {24-35}, address = {}, publisher = {Open Publishing Association} }