Index of /wadler/papers/propositions-as-sessions

 Name                                 Last modified      Size  Description
 propositions-as-sessions.pdf         2012-08-31 12:10  206K  
 propositions-as-sessions-jfp.pdf     2016-12-02 19:15  290K  
 propositions-as-sessions-jfp-old.pdf 2014-03-17 11:07  251K  
 multiparty-vienna.pdf                2018-02-25 18:17  1.0M  
 multiparty-lisbon.pdf                2018-02-25 18:22  1.0M  
 linearpi-vienna.pdf                  2018-02-25 18:07  898K  
 linearpi-lisbon.pdf                  2018-02-25 18:24  1.8M  
 limassol-one.pdf                     2016-06-30 15:46  1.1M