Publication:4585064
From MaRDI portal
DOI10.23638/LMCS-14(3:17)2018zbMath1398.68079arXiv1801.05052MaRDI QIDQ4585064
Mariangiola Dezani-Ciancaglini, Paola Giannini, Lorenzo Bettini, Viviana Bono, Betti Venneri
Publication date: 6 September 2018
Full work available at URL: https://arxiv.org/abs/1801.05052
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
Uses Software