-
1
المؤلفون: Jonathan Protzenko
المصدر: IWIL@LPAR
مصطلحات موضوعية: Set (abstract data type), Discrete mathematics, PEARL (programming language), Monad (non-standard analysis), Free variables and bound variables, Premise, Calculus, Tree (set theory), Combinatory logic, computer, Differentiation rules, computer.programming_language, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d64aece3ddd1e6459143dcf038efa982
https://doi.org/10.29007/cfdq