Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2013
Table of Contents: ';
“... for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking...”Get full text
Electronic
2
3
by Fernǹdez, Maribel.
Published 2009
Table of Contents: ';
“... -- The Lambda Calculus -- Recursive Functions -- Logic-Based Models of Computation -- Part II Modern Models...”Published 2009
Get full text
Electronic
4
by Meyer, Bertrand.
Published 2009
Table of Contents: ';
“...-oriented techniques -- Inheritance -- Operations as objects: agents and lambda calculus -- Event-driven...”Published 2009
Get full text
Electronic
5
6
7
8
Published 2013
Table of Contents: ';
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”View fulltext via EzAccess
Electronic