Pretraga




Rezultati

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

Barendregt, Henk; Ghilezan, Silvia  

Filteri

Po tipu