Search Results - "Theory of computation Semantics and reasoning Program semantics Algebraic semantics"

NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.

Authors: KURZ, ALEXANDER PETRIŞAN, DANIELA SEVERI, PAULA et al.

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-52, 52p

Subject Terms: NOMINALISM, DATA analysis, LAMBDA calculus, SET theory, INFINITY (Mathematics), RECURSION theory