A Complete V-Equational System for Graded lambda-Calculus

No Thumbnail Available
Files
P-00Y-K74.pdf (364.15 KB)
Date
2023
Authors
Renato Jorge Neves
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/14549
Collections
HASLab - Other Publications