1. A case study in programming coinductive proofs: Howe's method. (31st October 2018) Authors: MOMIGLIANO, ALBERTO; PIENTKA, BRIGITTE; THIBODEAU, DAVID Journal: Mathematical structures in computer science Issue: Volume 29:Number 8(2019) Page Start: 1309 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. (5th May 2017) Authors: FELTY, AMY; MOMIGLIANO, ALBERTO; PIENTKA, BRIGITTE Journal: Mathematical structures in computer science Issue: Volume 28:Number 9(2018) Page Start: 1507 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Mechanizing proofs with logical relations – Kripke-style. (2nd August 2018) Authors: CAVE, ANDREW; PIENTKA, BRIGITTE Journal: Mathematical structures in computer science Issue: Volume 28:Number 9(2018) Page Start: 1606 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. POPLMark reloaded: Mechanizing proofs by logical relations. (2019) Authors: ABEL, ANDREAS; ALLAIS, GUILLAUME; HAMEER, ALIYA; PIENTKA, BRIGITTE; MOMIGLIANO, ALBERTO; SCHÄFER, STEVEN; STARK, KATHRIN 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) ↗
5. Well-founded recursion with copatterns and sized types. (2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Well-founded recursion with copatterns and sized types. (3rd March 2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗