A formalism for higher-order composition languages that satisfies the ChurchRosser property (2006)

by Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A Lee, Andrew Christopher Mihal