scientific article; zbMATH DE number 7357617

zbMath1464.03011arXiv1307.8205MaRDI QIDQ4993853

Erika De Benedetti, Simonetta Ronchi della Rocca

Publication date: 10 June 2021

Full work available at URL: https://arxiv.org/abs/1307.8205

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (7)

A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization ⋮ Unnamed Item ⋮ A resource aware semantics for a focused intuitionistic calculus ⋮ Strong normalization through intersection types and memory ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Essential and relational models

This page was built for publication: