Bisimulation in Untyped Lambda Calculus - Bohm Trees and Bisimulation up to Context

Author: Lassen S.B.

Source: Electronic Notes in Theoretical Computer Science, Volume 20, Number 1, January 2004 , pp. 1-29(29)

Publisher: Elsevier

Language: English

Document Type: Research article

Links for this article

http://www.ingentaconnect.com/els/15710661/2004/00000020/00000001/art00083
http://openurl.ingenta.com/content?genre=article&issn=1571-0661&volume=20&issue=1&spage=1&epage=29