Combinatory weak reduction in lambda calculus

Authors: Cagman N.; Hindley J.R.¹

Source: Theoretical Computer Science, Volume 198, Number 1, 30 May 1998 , pp. 239-247(9)

Publisher: Elsevier

Language: English

Document Type: Short communication

DOI: 10.1016/S0304-3975(97)00250-8

Affiliations: 1: Department of Mathematics, University of Wales Swansea, Singleton Park, Swansea SA2 8PP, UK

Links for this article

http://www.ingentaconnect.com/els/03043975/1998/00000198/00000001/art00250
http://openurl.ingenta.com/content?genre=article&issn=0304-3975&volume=198&issue=1&spage=239&epage=247
http://dx.doi.org/10.1016/S0304-3975(97)00250-8