Pretraga po doktorandima
Prikaz rezultata 1-1 od 1
-
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(Универзитет у Новом Саду, Факултет техничких наука, 09-10-2013)