Претрага




Резултати

Reducibility method for termination properties of typed lambda terms   [2001]

Ghilezan, Silvia  ; Kunčak, Viktor ; Likavec, Silvia  

Филтери

По типу