Klaas Pruiksma | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Frank Pfenning
20 publications

research

∙ 02/11/2020

Back to Futures

We briefly introduce the semi-axiomatic sequent calculus for linear logi...

0 Klaas Pruiksma, et al. ∙

research

∙ 04/02/2019

A Message-Passing Interpretation of Adjoint Logic

We present a system of session types based on adjoint logic which genera...

0 Klaas Pruiksma, et al. ∙