Godina od:

Godina do:

Rezultati 1-1 od 1 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2013	Intesection types and resource control in the intuitionistic sequent lambda calculus	Ivetić, Jelena	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija