Polygraphic programs and polynomial-time functions

DOI10.2168/LMCS-5(2:14)2009zbMath1163.68016arXivcs/0701032MaRDI QIDQ3636813

Guillaume Bonfante, Yves Guiraud

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting

This page was built for publication: Polygraphic programs and polynomial-time functions