Klaas Pruiksma | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙