scientific article; zbMATH DE number 7297875
From MaRDI portal
Publication:5144674
zbMath1452.03043MaRDI QIDQ5144674
Jakob Rehof, Andrej Dudenhefner
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330062
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Pre-grammars and inhabitation for a subset of rank 2 intersection types
This page was built for publication:
