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