scientific article; zbMATH DE number 7307080
From MaRDI portal
Publication:5149140
zbMath1505.03032MaRDI QIDQ5149140
Publication date: 6 February 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The placeholder view of assumptions and the Curry-Howard correspondence ⋮ Spiritus asper versus lambda: on the nature of functional abstraction
This page was built for publication:
