Search




Research outputs

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

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

Filters

By type