Search results for "binding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli	Dynamic Binding in Mobile Applications: A Middleware Approach.	IEEE Internet Comput.	2003	DBLP DOI BibTeX RDF
15	Ingo Glöckner	Fuzzy Quantifiers, Multiple Variable Binding and Branching Quantification.	IFSA	2003	DBLP DOI BibTeX RDF
15	Xin Wang, Qi Yan 0001, XinJun Mao, Zhi-Chang Qi	Generating Test Oracle for Role Binding in Multi-Agent Systems.	APSEC	2003	DBLP DOI BibTeX RDF
15	Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio	A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.	FME	2003	DBLP DOI BibTeX RDF
15	Chandramouli Gopalakrishnan, Srinivas Katkoori	KnapBind: An Area-Efficient Binding Algorithm for Low-leakage Datapaths.	ICCD	2003	DBLP DOI BibTeX RDF
15	Alan Cole, Sastry Duri, Jonathan P. Munson, Jay Murdock, David Wood	Adaptive Service Binding Middleware to Support Mobility.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
15	Chandramouli Gopalakrishnan, Srinivas Katkoori	Resource Allocation and Binding Approach for Low Leakage Power.	VLSI Design	2003	DBLP DOI BibTeX RDF
15	Yolanta Beres, Chris I. Dalton	Dynamic label binding at run-time.	NSPW	2003	DBLP DOI BibTeX RDF	labels, information flow control, data labeling
15	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Binding Logic: Proofs and Models.	LPAR	2002	DBLP DOI BibTeX RDF
15	Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano	Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.	LPAR	2002	DBLP DOI BibTeX RDF
15	Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito	Verification of Authentication Protocols Based on the Binding Relation.	ISSS	2002	DBLP DOI BibTeX RDF
15	Gueorgui I. Jojgov	Holes with Binding Power.	TYPES	2002	DBLP DOI BibTeX RDF
15	Sebastian Weng, Jochen J. Steil	Data Driven Generation of Interactions for Feature Binding and Relaxation Labeling.	ICANN	2002	DBLP DOI BibTeX RDF
15	Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo	An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.	Ada-Europe	2002	DBLP DOI BibTeX RDF
15	Gareth Hannaford, Carsten Maple, Jonathan G. L. Mullins	Finding and Characterising Candidate Binding Sites.	IV	2001	DBLP DOI BibTeX RDF
15	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Boolean Constraints for Binding-Time Analysis.	PADO	2001	DBLP DOI BibTeX RDF
15	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
15	Yoseph Barash, Gill Bejerano, Nir Friedman	A Simple Hyper-Geometric Approach for Discovering Putative Transcription Factor Binding Sites.	WABI	2001	DBLP DOI BibTeX RDF
15	Niels H. Christensen, Robert Glück, Søren Laursen	Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
15	Ashok Kumar 0001, Magdy A. Bayoumi, Raghava V. Cherabuddi	Minimizing switchings of the function units through binding for low power.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
15	Bryan G. Talbot, Lisa M. Talbot	Source coding with a permutation-based reversible memory-binding transform for data compression in categorical data domains.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
15	Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.	ESOP	1998	DBLP DOI BibTeX RDF
15	Zsolt Németh, Péter Kacsuk	Experiments with Binding Schemes in LOGFLOW.	Euro-Par	1998	DBLP DOI BibTeX RDF
15	Jim E. Crenshaw, Majid Sarrafzadeh	Low Power Driven Scheduling and Binding.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	high level synthesis, low power design, design automation, VLSI CAD
15	Pradeep Prabhakaran, Prithviraj Banerjee	Simultaneous Scheduling, Binding and Floorplanning in High-level Synthesis.	VLSI Design	1998	DBLP DOI BibTeX RDF	timing driven synthesis, High-level synthesis, floorplanning
15	Luca Benini, Giovanni De Micheli	A survey of Boolean matching techniques for library binding.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF
15	Gary William Grewal, Thomas Charles Wilson	An Enhanced Genetic Solution for Scheduling, Module Allocation, and Binding in VLSI Design.	VLSI Design	1997	DBLP DOI BibTeX RDF
15	Robert Glück, Jesper Jørgensen	Fast Binding-Time Analysis for Multi-Level Specialization.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	generating extensions, program transformation, program analysis, partial evaluation, functional languages
15	Jens Palsberg	Comparing Flow-Based Binding-Time Analyses.	TAPSOFT	1995	DBLP DOI BibTeX RDF
15	Zheng Zhang 0001, Josep Torrellas	Speeding Up Irregular Applications in Shared-Memory Multiprocessors: Memory Binding and Group Prefetching.	ISCA	1995	DBLP DOI BibTeX RDF
15	Minjoong Rim, Ashutosh Mujumdar, Rajiv Jain, Renato De Leone	Optimal and heuristic algorithms for solving the binding problem.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
15	Polly Siegel, Giovanni De Micheli	Decomposition methods for library binding of speed-independent asynchronous designs.	ICCAD	1994	DBLP DOI BibTeX RDF
15	Stefan Goedecker, Luciano Colombo	Tight binding molecular dynamics.	SC	1994	DBLP DOI BibTeX RDF
15	Mitchell Wand	Specifying the Correctness of Binding-Time Analysis.	POPL	1993	DBLP DOI BibTeX RDF
15	Gopal Gupta 0001, Vítor Santos Costa	And-Or Parallelism in Full Prolog with Paged Binding Arrays.	PARLE	1992	DBLP DOI BibTeX RDF
15	Henry G. Baker	Shallow binding makes functional arrays fast.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
15	David A. Basin	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.	CADE	1990	DBLP DOI BibTeX RDF
15	M. Balakrishnan, Peter Marwedel	Integrated Scheduling and Binding: A Synthesis Approach for Design Space Exploration.	DAC	1989	DBLP DOI BibTeX RDF
15	Mark Smotherman	On the use of naming and binding in early courses.	SIGCSE	1987	DBLP DOI BibTeX RDF
15	Kurt Keutzer	DAGON: Technology Binding and Local Optimization by DAG Matching.	DAC	1987	DBLP DOI BibTeX RDF
15	Neil D. Jones, Steven S. Muchnick	Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language.	POPL	1976	DBLP DOI BibTeX RDF
13	Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis	ScalaLab: An Effective Scala-Based Scientific Programming Environment for Java.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Groovy, class loaders, Java, interpreters, Matlab, scripting, functional languages, binding, scientific programming, dynamic languages, Scala
13	Christin Groba, Siobhán Clarke	Opportunistic Composition of Sequentially-Connected Services in Mobile Computing Environments.	ICWS	2011	DBLP DOI BibTeX RDF	service binding, service execution, mobile, distributed, ad hoc
13	Bruno Tardiole Kuehne, Júlio Cezar Estrella, Maycon L. M. Peixoto, Thiago Caproni Tavares, Regina Helena Carlucci Santana, Marcos José Santana	Dynamic Web Service Composition Middleware: A New Approach for QoS Guarantees.	NCA	2010	DBLP DOI BibTeX RDF	Web service dynamic binding, Web service QoS, Web service Composition, Web service selection
13	Aditya Rajgarhia, Ashish Gehani	Performance and extension of user space file systems.	SAC	2010	DBLP DOI BibTeX RDF	language binding, user space, Java, performance, FUSE
13	Wolfgang Halb, Herwig Zeiner, Bernhard Jandl, Harald Lernbeiss, Christian Derler	Agile Service Oriented Architecture with Adaptive Processes Using Semantically Annotated Workflow Templates.	ICWS	2010	DBLP DOI BibTeX RDF	BPEL, dynamic binding, run time adaptability
13	Nicoleta Preda, Gjergji Kasneci, Fabian M. Suchanek, Thomas Neumann 0001, Wenjun Yuan, Gerhard Weikum	Active knowledge: dynamically enriching RDF knowledge bases by web services.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	binding patterns, query mediation, semantics, knowledge bases, information integration, rdf, warehousing
13	Anja Strunk	QoS-Aware Service Composition: A Survey.	ECOWS	2010	DBLP DOI BibTeX RDF	QoS-aware Service Composition, Service Composition, Binding
13	Leung-Yau Lo, Tak-Ming Chan, Kin-Hong Lee, Kwong-Sak Leung	Challenges rising from learning motif evaluation functions using genetic programming.	GECCO	2010	DBLP DOI BibTeX RDF	transcription factor binding site (tfbs), modelling, genetic programming (gp), bioinformatics, motif discovery
13	Peter F. Linington	The Stereochemistry of Enterprise Objects.	EDOCW	2010	DBLP DOI BibTeX RDF	Enterprise Language, Distributed Systems, Community, Composition, Binding, ODP
13	Zhengfei Wang, Huaixiu Zheng, Qinwei Shi, Jie Chen 0002	Emerging nanodevice paradigm: Graphene-based electronics for nanoscale computing.	ACM J. Emerg. Technol. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Graphene device, negative differential resistance, tight-binding model, memory structure
13	Hridesh Rajan, Kevin J. Sullivan	Unifying aspect- and object-oriented design.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding
13	Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau	AspectOptima: A Case Study on Aspect Dependencies and Interactions.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference
13	Long Zhang, Zhenan Sun, Tieniu Tan, Shungeng Hu	Robust Biometric Key Extraction Based on Iris Cryptosystem.	ICB	2009	DBLP DOI BibTeX RDF	iris code, key binding, concatenated coding scheme, bit masking scheme, cryptography, Biometrics, Reed-Solomon code, convolutional code
13	Sung-Hyun Nam, Hyunwoo Hwang, Ju-Hyun Kim, Kyung-Geun Lee	Fast Macro Handover in Hierarchical Mobile IPv6.	NCA	2009	DBLP DOI BibTeX RDF	Macro Handover, Binding Update Cost, HMIPv6
13	Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer	Event strictness for components with complex bindings.	ISEC	2009	DBLP DOI BibTeX RDF	behavioural compatibility, event strictness, structured product, communication, protocol, component, binding
13	Wilfred Springer	Bit syntax for Java.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bit syntax, data binding
13	Danny M. Groenewegen, Eelco Visser	Weaving web applications with WebDSL: (demonstration).	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	web application model, access control, data model, domain-specific languages, data binding
13	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
13	Adina D. Mosincat, Walter Binder	Self-tuning BPEL processes.	ICAC	2009	DBLP DOI BibTeX RDF	bpel processes, dynamic service selection and binding, performance monitoring, self-optimization
13	Mounir Jaidann, Louis-Simon Lussier, Amal Bouamoul, Hakima Abou-Rachid, Josée Brisson	Effects of Interface Interactions on Mechanical Properties in RDX-Based PBXs HTPB-DOA: Molecular Dynamics Simulations.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Polymer-bonded explosives, binding energy, molecular dynamics simulation, mechanical properties
13	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
13	Jörg Kienzle, Wisam Al Abed, Jacques Klein	Aspect-oriented multi-view modeling.	AOSD	2009	DBLP DOI BibTeX RDF	aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation
13	Petro M. Gopych	BSDT Atom of Consciousness Model, AOCM: The Unity and Modularity of Consciousness.	ICANN (2)	2009	DBLP DOI BibTeX RDF	thinking, qualia, neural Darwinism, micro-consciousness, Neural networks, context, memory, binding, semantic information, feeling
13	José Augusto Leitão, António Horta Branco, Maria Mercedes Piñango, Luís Pires	Pronoun Resolution to Commanders and Recessors: A View from Event-Related Brain Potentials.	DAARC	2009	DBLP DOI BibTeX RDF	Intra-sentential anaphora, Binding theory, Command relation, Cognitive processing, Event-related potentials, Pronoun resolution
13	Alexis Dimitriadis, Min Que	The Doubly Marked Reflexive in Chinese.	DAARC	2009	DBLP DOI BibTeX RDF	Binding theory, Chinese, Reflexives
13	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
13	James Cheney, Christian Urban	Nominal logic programming.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	name-binding, semantics, logic programming, Nominal logic
13	Debarshi Raha, Mohan Jadhav	Automation Method for Testing XML/DB/XML Layers.	ICST	2008	DBLP DOI BibTeX RDF	XSD, Data Binding Technology, EPCIS, XML, RFID, schema, automation testing, XML-Database
13	Hang Su, Husheng Liao	XQPE: A Partial Evaluation System for XQuery.	COMPSAC	2008	DBLP DOI BibTeX RDF	reference-sensitivity analysis, partial evaluation, XQuery, binding-time analysis
13	Afshin Abdollahi	Signature based Boolean matching in the presence of don't cares.	DAC	2008	DBLP DOI BibTeX RDF	library cell binding, signatures, technology mapping, don't cares, Boolean matching
13	Michael A. Lones, Andy M. Tyrrell	Regulatory Motif Discovery Using a Population Clustering Evolutionary Algorithm.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	population-based data clustering, muscle-specific gene expression, Evolutionary computation, motif discovery, transcription factor binding sites
13	SungHyun Hong, Jin-Chul Kim, Jin Woo Shin, Soo-Mook Moon, Hyeong-Seok Oh, Jaemok Lee, Hyung-Kyu Choi	Java client ahead-of-time compiler for embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, early binding, Java virtual machine, just-in-time compiler, relocation
13	Shandar Ahmad	Dynamic Outlier Exclusion Training Algorithm for Sequence Based Predictions in Proteins Using Neural Network.	PRIB	2007	DBLP DOI BibTeX RDF	Sequence information, Neural networks, Outliers, Binding sites
13	Abdulaziz Ghuloum, R. Kent Dybvig	Implicit phasing for R6RS libraries.	ICFP	2007	DBLP DOI BibTeX RDF	binding phases, hygienic macros, macro expansion, scheme, libraries
13	Koji Ohashi, Mineo Kaneko	Extended register-sharing in the synthesis of dual-rail two-phase asynchronous datapath.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	high-level synthesis, asynchronous circuit, datapath, register binding
13	Iftach Haitner, Omer Reingold	Statistically-hiding commitment from any one-way function.	STOC	2007	DBLP DOI BibTeX RDF	statistically hiding and computationally binding commitment, cryptography, one-way functions
13	Jonathan Bentwich	The duality principle: irreducibility of sub-threshold psychophysical computation to neuronal brain activation.	Synth.	2006	DBLP DOI BibTeX RDF	Materialistic reductionism, Duality principle, Body-mind, Binding problem, Computation, Psychophysics, Neuroscience
13	Nancy Alonistioti, Eleni Patouni, Vangelis Gazis	Generic Architecture and Mechanisms for Protocol Reconfiguration.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	protocol component, reconfiguration, binding, protocol stack
13	Cengiz Günay, Anthony S. Maida	A stochastic population approach to the problem of stable recruitment hierarchies in spiking neural networks.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF	Temporal binding, Synchrony-driven recruitment learning, Stable equilibrium, k-WTA, Spiking neuron, Population dynamics
13	Pradeep Kumar	Modal logic & ownership types: uniting three worlds.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	split-objects, modal logic, roles, delegation, ownership types, dynamic binding, ownership transfer
13	Thi Khoi Anh Phan, Zahir Tari, Peter Bertók	A benchmark on soap's transport protocols performance for mobile applications.	SAC	2006	DBLP DOI BibTeX RDF	SOAP binding, wireless networks, benchmarking, TCP, HTTP, SOAP, UDP, mobile web services
13	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
13	Pier Stanislao Paolucci, Ahmed Amine Jerraya, Rainer Leupers, Lothar Thiele, Piero Vicini	SHAPES: : a tiled scalable software hardware architecture platform for embedded systems.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	MP-SOC, distributed network processors, hardware dependent software, network of processes, tiled parallel architectures, simulation, scheduling, embedded systems, VLIW, RISC, model based design, binding, retargetable compiler, application mapping
13	Zhong Liu, Meng Qian, Weiming Zhang 0003, Jincai Huang	Flexible Plan Representation for Agile Organization.	ICEBE	2006	DBLP DOI BibTeX RDF	plan representation, dynamical binding, intelligent planning, information routing
13	Topon Kumar Paul, Hitoshi Iba	Identification of weak motifs in multiple biological sequences using genetic algorithm.	GECCO	2006	DBLP DOI BibTeX RDF	(l, d) motif, protein binding site, regulatory sites, genetic algorithm, clustering, DNA sequences, motif discovery
13	Young-Jun Kim 0002, Taewhan Kim	HW/SW partitioning techniques for multi-mode multi-task embedded applications.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	scheduling, allocation, co-design, binding
13	Joy Mukherjee, Srinidhi Varadarajan	Weaves: A Framework for Reconfigurable Programming.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	intra process, adaptive, compositional, Reconfigurable, dynamic binding
13	Arne J. Glenstrup, Neil D. Jones	Termination analysis and specialization-point insertion in offline partial evaluation.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	quasitermination, size-change graphs, termination, Binding-time analysis
13	Dae-Eun Hyun, Seung-Hyun Yoon, Jung-Woo Chang, Joon-Kyung Seong, Myung-Soo Kim, Bert Jüttler	Sweep-based human deformation.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Human modeling and deformation, Vertex binding, Anatomical features, Shape blending, Volume preservation, Sweep surface
13	Benjamin J. Raphael, Lung-Tien Liu, George Varghese	A Uniform Projection Method for Motif Discovery in DNA Sequences.	IEEE ACM Trans. Comput. Biol. Bioinform.	2004	DBLP DOI BibTeX RDF	random projection, Motif discovery, combinatorial designs, low-discrepancy sequences, transcription factor binding sites
13	E. Michael Maximilien, Munindar P. Singh	Toward autonomic web services trust and selection.	ICSOC	2004	DBLP DOI BibTeX RDF	service binding, quality of service (QoS), trust, software agents, autonomic computing, service selection
13	Jason Cong, Yiping Fan, Zhiru Zhang	Architecture-level synthesis for automatic interconnect pipelining.	DAC	2004	DBLP DOI BibTeX RDF	interconnect pipelining, multi-cycle communication, scheduling, high-level synthesis, register binding
13	Matías Menni	About N-quantifiers.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	adjoint functors, quantifiers, variable binding
13	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
13	Jason Cong, Yiping Fan, Xun Yang, Zhiru Zhang	Architecture and synthesis for multi-cycle communication.	ISPD	2003	DBLP DOI BibTeX RDF	RDR, multi-cycle communication, scheduling, interconnect, placement, binding, deep sub-micron, timing closure
13	Marino Miculan, Ivan Scagnetto	A framework for typed HOAS and semantics.	PPDP	2003	DBLP DOI BibTeX RDF	categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics
13	Paul Huck, Michael Butler, Amar Gupta, Michael Feng	A self-configuring and self-administering name system with dynamic address assignment.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	Berkeley Internet Name Domain, name-to-name address binding, self-administering systems, self-configuring systems, dynamic reconfiguration
13	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
13	Dmitri A. Rachkovskij	Representation and Processing of Structures with Binary Sparse Distributed Codes.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	representation of structure, nested representation, compositional distributed representations, connectionist symbol processing, analogical retrieval, analogical mapping, analogy, binding, hierarchical representation, Sparse coding, binary coding, long-term memory