scientific article; zbMATH DE number 7242851

DOI10.4204/EPTCS.275zbMath1446.68006arXiv1807.03732MaRDI QIDQ5118978

No author found.

Publication date: 2 September 2020

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

This page was built for publication: