Publications by Frank Pfenning

Chapter

Polarized Subtyping

2022 • Lecture Notes in Computer Science • 13240:431-461
Lakhani Z, Das A, DeYoung H, Mordido A, Pfenning F
Displaying 1 - 25 of 261