Polymorphic Higher-Order Context-Free Session Types

AuthID
P-010-AFP
4
Author(s)
Costa, D
·
Poças, D
·
Document Type
Article
Year published
2024
Published
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 1001, Pages: 114582 (31)
Indexing
Publication Identifiers
Dblp: journals/tcs/CostaMPV24
Scopus: 2-s2.0-85191008839
Wos: WOS:001234013500001
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.