Registered user since Tue 9 Dec 2014

Name: Patrick Bahr

Country: Denmark

Affiliation: IT University of Copenhagen

Personal website: http://bahr.io

ICFP 2017 Activities

• Author of Böhm Reduction in Infinitary Term Graph Rewriting Systems within the FSCD 2017-track in FSCD 2017
• Show activities from other conferences