Types and Logic, Concurrency and Non-Determinism

Opens in a new tab

Date:

September 16, 2014

Speakers:

Luis Caires

Affiliation:

Universidade Nov a de Lisboa

• Speakers

  • 

    Jeff Running