A solution to Curry and Hindley’s problem on combinatory strong reduction.

Saved in:

Bibliographic Details
Title:	A solution to Curry and Hindley’s problem on combinatory strong reduction.
Authors:	Minari, Pierluigi¹ minari@unifi.it
Source:	Archive for Mathematical Logic. Apr2009, Vol. 48 Issue 2, p159-184. 26p.
Database:	Academic Search Ultimate

Description
ISSN:	09335846
DOI:	10.1007/s00153-008-0109-z