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