Method Term: dynanfic lambda calculus
To view the usage of dynanfic lambda calculus in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).
Terms semantically related to dynanfic lambda calculus:
Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.