scientific article; zbMATH DE number 7080079
DOI10.4204/EPTCS.22zbMath1415.68025MaRDI QIDQ4968368
No author found.
Publication date: 12 July 2019
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?LINEARITY2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
This page was built for publication:
