1. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Issue 4 (21st July 2014) Authors: CRUZ, FLAVIO; ROCHA, RICARDO; GOLDSTEIN, SETH COPEN; PFENNING, FRANK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Back to futures. (28th February 2022) Authors: PRUIKSMA, KLAAS; PFENNING, FRANK Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Linear logic propositions as session types. (10th November 2014) Authors: CAIRES, LUÍS; PFENNING, FRANK; TONINHO, BERNARDO Journal: Mathematical structures in computer science Issue: Volume 26:Number 3(2016) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗