researchr - search publication variable binding

researchr

You are not signed in
Sign in
Sign up

81 publication results matching 'variable binding'

The abstract variable-binding calculusDon Pigozzi, Antonino Salibra. sLogica, 55(1):129-179, 1995.
Abstract Syntax and Variable BindingMarcelo P. Fiore, Gordon D. Plotkin, Daniele Turi. lics 1999: 193-202 [doi]
Variable binding by synaptic strength changeChristian R. Huyck. connection, 21(4):327-357, 2009. [doi]
Delaying Variable Binding Commitments in PlanningQiang Yang, Alex Y. M. Chan. aips 1994: 182-187
Connectionist variable binding architecturesRandall J. Stark. PhD thesis, University of Sussex, UK, 1993. [doi]
Variables: bindings and protectionJames E. George, Gary R. Sager. SIGPLAN, 8(12):18-29, 1973. [doi]
Connectionist variable bindingAntony Browne, Ron Sun. es, 16(3):189-207, 1999. [doi]
World Variable Binding and Beta-BindingDavid Schueler. jsemantics, 28(2):241-266, 2011. [doi]
A (Somewhat) New Solution to the Variable Binding ProblemLeon Barrett, Jerome Feldman, Liam Mac Dermed. neco, 20(9):2361-2378, 2008. [doi]
Fuzzy Quantifiers, Multiple Variable Binding and Branching QuantificationIngo Glöckner. ifsa 2003: 135-142 [doi]
Pseudo-distributive laws and axiomatics for variable bindingMiki Tanaka, John Power. lisp, 19(2-3):305-337, 2006. [doi]
Substitution in Non-wellfounded Syntax with Variable BindingRalph Matthes, Tarmo Uustalu. ENTCS, 82(1):191-205, 2003. [doi]
Substitution in non-wellfounded syntax with variable bindingRalph Matthes, Tarmo Uustalu. TCS, 327(1-2):155-174, 2004. [doi]
Least Commitment on Variable Binding in Presence of Incomplete KnowledgeRosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano. ecp 2000: 159-171
Variable binding and substitution for (nameless) dummiesAndré Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi. fossacs 2022: 389-408 [doi]
Variable binding and substitution for (nameless) dummiesAndré Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi. lmcs, 20(1), 2024. [doi]
A unified category theoretic approach to variable bindingJohn Power. ICFP 2003: [doi]
Variable binding operators in transition system specificationsC. A. Middelburg. jlp, 47(1):15-45, 2001.
Abstract Syntax and Variable Binding for Linear BindersMiki Tanaka. mfcs 2000: 670-679 [doi]
XQuery containment in presence of variable binding dependenciesLi Chen, Elke A. Rundensteiner. WWW 2005: 288-297 [doi]

Sign in or sign up to see more results.

runs on WebDSL