1. Clocked lambda calculus†. (15th October 2015) Authors: ENDRULLIS, JÖRG; HENDRIKS, DIMITRI; KLOP, JAN WILLEM; POLONSKY, ANDREW Journal: Mathematical structures in computer science Issue: Volume 27:Number 5(2017) Page Start: 782 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. On the complexity of stream equality. Issue 2 (20th January 2014) Authors: ENDRULLIS, JÖRG; HENDRIKS, DIMITRI; BAKHSHI, RENA; ROŞU, GRIGORE Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 166 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. On the complexity of stream equality. Issue 2 (May 2014) Authors: ENDRULLIS, JÖRG; HENDRIKS, DIMITRI; BAKHSHI, RENA; ROŞU, GRIGORE Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 166 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗