المؤلفون: Barbanera, Franco, Fernández, Maribel

المصدر: Theoretical Computer Science. 170(1-2):173-207

مصطلحات موضوعية: General Computer Science, Theoretical Computer Science, Computer Science(all)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c26c31b0e75702df52934dd72212fa64Test

المؤلفون: Barbanera, Franco¹, Bugliesi, Michele² bugliesi@dsi.unive.it, Dezani-Ciancaglini, Mariangiola³, Sassone, Vladimiro⁴

المصدر: Theoretical Computer Science. Mar2007, Vol. 373 Issue 1/2, p41-69. 29p.

مصطلحات موضوعية: *SPACE, *CALCULUS, *FUNCTION spaces, *FUZZY measure theory, *MEASURE theory

المؤلفون: Alessi, Fabio¹ alessi@dimi.uniud.it, Barbanera, Franco² barba@dmi.unict.it, Dezani-Ciancaglini, Mariangiola³ dezani@di.unito.it

المصدر: Theoretical Computer Science. Apr2006, Vol. 355 Issue 2, p108-126. 19p.

مصطلحات موضوعية: *LAMBDA calculus, *MATHEMATICAL analysis, *MATHEMATICAL functions, *CALCULUS

المؤلفون: Barbanera, Franco¹ barba@dipmat.unict.it, Berardi, Stefano² stefano@di.unito.it

المصدر: Theoretical Computer Science. Jan2003, Vol. 290 Issue 1, p407. 22p.

مصطلحات موضوعية: *LAMBDA calculus, *MORPHISMS (Mathematics)