A message-passing interpretation of adjoint logic K Pruiksma, F Pfenning
Journal of Logical and Algebraic Methods in Programming 120, 100637, 2021
34 2021 Semi-axiomatic sequent calculus H DeYoung, F Pfenning, K Pruiksma
Leibniz international proceedings in informatics 167, 2020
20 2020 Back to futures K Pruiksma, F Pfenning
Journal of Functional Programming 32, e6, 2022
18 2022 Adjoint logic K Pruiksma, W Chargin, F Pfenning, J Reed
Unpublished manuscript, April, 2018
18 2018 Relating Message Passing and Shared Memory, Proof-Theoretically F Pfenning, K Pruiksma
International Conference on Coordination Languages and Models, 3-27, 2023
4 2023 A shared-memory semantics for mixed linear and non-linear session types K Pruiksma, F Pfenning
Submitted. Nov, 2018
2 2018 The grant negotiation and authorization protocol: attacking, fixing, and verifying an emerging standard F Helmschmidt, P Hosseyni, R Küsters, K Pruiksma, C Waldmann, ...
European Symposium on Research in Computer Security, 222-242, 2023
1 2023 Adjoint Logic with Applications K Pruiksma
1 2021 Adjoint logic and its concurrent operational interpretation K Pruiksma, W Chargin, F Pfenning, J Reed
Unpublished note, January, 2018
1 2018 Layered Symbolic Security Analysis in K Bhargavan, A Bichhawat, P Hosseyni, R Küsters, K Pruiksma, ...
European Symposium on Research in Computer Security, 3-21, 2023
2023 Layered Symbolic Security Analysis in DY K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ...
Cryptology ePrint Archive, 2023
2023 A Cubical Model for Homotopy Type Theory 15-300, Fall 2015 K Pruiksma
2015 Asynchronous Multistructural Session Types F PFENNING, K PRUIKSMA
Focusing for dL 15-824, Fall 2018 K Pruiksma