A Polonsky | TU Delft Repository

Library

local_library Home Repository

AP

A Polonsky

Conference paper (1)

1 records found

1

A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)

Conference paper (2015) - J Endrullis (author) , Helle Hansen (author) , D Hendriks (author) , A Polonsky (author) , A Silva (author)