Browse by committee members
Now showing items 1-1 of 1
-
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(University of Novi Sad, Faculty of Technical Science, 09-10-2013)