Backup of Publications/copy2(No. 1) - LMNtal PukiWiki

[ Front page | List of pages | Search | Recent changes | Backup | Help ]

List of Backups
View the diff.
View the diff current.
View the source.
Go to Publications/copy2.
- 1 (2024-06-27 (Thu) 02:51:24)

Publications and Presentations †

[extended abstract and poster pdf] Kento Takyu and Kazunori Ueda, Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language, The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023), 2023. (Non-SRC poster award)