Keyword:dependent function type

Papers
Paychecks, Presupposition, and Dependent Types Ribeka Tanaka, Koji Mineshima and Daisuke Bekki EasyChair Preprint no. 215