Претрага




Резултати

Lambda terms for natural deduction, sequent calculus and cut elimination   [2000]

Barendregt, Henk; Ghilezan, Silvia  

Филтери

По типу