758 followers Scott Fleischman @scottfleischman Unification of Hypergraph λ-Terms https://t.co/VJ8ZeXqsCO 19 Oct 2017 Reply Repost Favourite