Login / Signup

Session Types in Abelian Logic.

Yoichi Hirai
Published in: PLACES (2013)
Keyphrases
  • classical logic
  • real time
  • search engine