Pretraga




Rezultati

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

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

Filteri

Po tipu