Search




Research outputs

Intersection types for the resource control lambda calculi   [2011]

Silvia Ghilezan  ; Ivetić, Jelena  ; Silvia Likavec  ; Pierre Lescanne

Filteri

Po tipu