1. 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) ↗
2. 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) ↗
3. 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) ↗