Three Syntactic Theories for Combinatory Graph Reduction.

Saved in:

Bibliographic Details
Title:	Three Syntactic Theories for Combinatory Graph Reduction.
Authors:	DANVY, OLIVIER¹, danvy@cs.au.dk, ZERNY, IAN¹
Source:	ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-27, 27p
Database:	Applied Science & Technology Source

Description
ISSN:	15293785
DOI:	10.1145/2528932