Zeitraum
2007 - 2007
Anzahl
1
Co-Autoren
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