Linear logic propositions as session types.

Luís Caires Frank Pfenning Bernardo Toninho

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

linear logic
sequent calculus
intuitionistic logic

logic programming
artificial intelligence

decision making
programming language

post processing
logical framework