Normalization, approximation, and semantics for combinator systems

By van Bakel S.   Fernandez M.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 975-1019

Elsevier

Access to resources Recommend Favorite

A Variadic Extension of Curry's Fixed-Point Combinator

By Goldberg Mayer  

LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. : 371-388

Springer Publishing Company

Access to resources Recommend Favorite

Digital Game based Learning for Undergraduate Calculus Education: Immersion, Calculation, and Conceptual Understanding

By  

International Journal of Gaming and Computer-Mediated Simulations (IJGCMS), Vol. 8, Iss. 1, 2016-01 ,pp. : 13-27

IGI Global_journal

Access to resources Recommend Favorite

Games for the -calculus

By Niwinski D.   Walukiewicz I.  

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 99-116

Elsevier

Access to resources Recommend Favorite

Metamer Mismatch Volumes

By Logvinenko Alexander   Godau Christoph   Funt Brian  

Conference on Colour in Graphics, Imaging, and Vision, Vol. 2012, Iss. 1, 2012-01 ,pp. : 54-58

Society for Imaging Science and Technology

Access to resources Recommend Favorite