1. A relational logic for higher-order programs. (2019) Authors: AGUIRRE, ALEJANDRO; BARTHE, GILLES; GABOARDI, MARCO; GARG, DEEPAK; STRUB, PIERRE-YVES Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗