Junyoung Jang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Cut Elimination

Intuitionistic Logic

Natural Deduction

Top Venues

J. Funct. Program.

Publications

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
Adjoint Natural Deduction (Extended Version). CoRR (2024)
Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
Adjoint Natural Deduction. FSCD (2024)
Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka
Normalization by evaluation for modal dependent type theory. J. Funct. Program. 33 (2023)