1. A tutorial on computational classical logic and the sequent calculus. (1st February 2018) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Call-by-name extensionality and confluence. (27th February 2017) Authors: JOHNSON-FREYD, PHILIP; DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Classical (co)recursion: Mechanics. (4th April 2023) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Delimited control and computational effects. Issue 1 (January 2014) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 24:Issue 1(2014) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗