Constant time parallel computations in -calculus

Author: Joly T.

Source: Theoretical Computer Science, Volume 266, Number 1, 6 September 2001 , pp. 975-985(11)

Publisher: Elsevier

Keywords: Lambda calculus; Complete developments; Simple typing; Full type structure; Elementary complexity

Language: English

Document Type: Short communication

DOI: 10.1016/S0304-3975(00)00380-7

Links for this article

http://www.ingentaconnect.com/els/03043975/2001/00000266/00000001/art00380
http://openurl.ingenta.com/content?genre=article&issn=0304-3975&volume=266&issue=1&spage=975&epage=985
http://dx.doi.org/10.1016/S0304-3975(00)00380-7