scientific article; zbMATH DE number 7362475
From MaRDI portal
Publication:4995165
zbMath1464.68061arXiv1406.2062MaRDI QIDQ4995165
Publication date: 23 June 2021
Full work available at URL: https://arxiv.org/abs/1406.2062
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50)
This page was built for publication: