Sugwoo Byun

Separability and Translatability of Sequential Term Rewrite Systems Into the Lambda Calculus (2007)

Sugwoo Byun Kyungsung, Sugwoo Byun, Richard Kennaway, Vincent Van Oostrom

this paper the question of which

Vincent van Oostrom z (2007)

Sugwoo Byun, Richard Kennaway

and translatability of sequential term rewrite systems into the lambda calculus