Výsledky vyhledávání - "Theory of computation Semantics AND reasoning Program semantics Algebraic semantics~"

NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.

Autoři: KURZ, ALEXANDER PETRIŞAN, DANIELA SEVERI, PAULA a další

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

Témata: NOMINALISM, DATA analysis, LAMBDA calculus, SET theory, INFINITY (Mathematics), RECURSION theory