scientific article; zbMATH DE number 6744144

DOI10.4230/LIPICS.TLCA.2015.45zbMath1433.03033MaRDI QIDQ5277830

Sam Staton, Robert Atkey, Fredrik Nordvall Forsberg, Timothy Revell, Neil Ghani

Publication date: 12 July 2017

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

zbMATH Keywords

category theorytype theorydimension typesunits of measure

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

This page was built for publication: