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

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