type theory agda ppl2016 proof theory
Mehr anzeigen