scientific article; zbMATH DE number 7317220
From MaRDI portal
Publication:4964691
zbMath1457.68047arXiv1101.4426MaRDI QIDQ4964691
Paola Giannini, Mariangiola Dezani-Ciancaglini, Elena Zucca
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1101.4426
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40) Type theory (03B38)
Related Items (1)
This page was built for publication:
