Search




Research outputs

Characterising strongly normalising intuitionistic sequent terms   [2008]

Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena  

Filters

By type