Search




Research outputs

Characterization of strong normalizability for a sequent lambda calculus with co-control   [2017]

Gilezan, Silvia  ; Espirito Santo, J.

Filters

By type