A Complete V-Equational System for Graded lambda-Calculus

dc.contributor.author Renato Jorge Neves en
dc.contributor.other 6181 en
dc.date.accessioned 2023-11-15T21:57:30Z
dc.date.available 2023-11-15T21:57:30Z
dc.date.issued 2023 en
dc.description.abstract en
dc.identifier P-00Y-K74 en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/14549
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title A Complete V-Equational System for Graded lambda-Calculus en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00Y-K74.pdf
Size:
364.15 KB
Format:
Adobe Portable Document Format
Description: