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

Publication date: 2004-01-01

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Lassen S.B.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers