Jeff Polakow (Selection)

Jeffrey Polakow

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46

2 Jeff Polakow, Frank Pfenning: Natural Deduction for Intuitionistic Non-communicative Linear Logic. TLCA 1999: 295-309

Selection of 2 from 13 records - Jeff Polakow has 12 coauthors

11		Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46
2		Jeff Polakow, Frank Pfenning: Natural Deduction for Intuitionistic Non-communicative Linear Logic. TLCA 1999: 295-309