> >

Phil Wadler's Linear Logic Publications
Includes his tutorial paper "A taste of linear logic".

No queries for cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html

View keywords for cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html.
Back to cm.bell-labs.com