Search results for "lambda"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.	PEPM	1997	DBLP DOI BibTeX RDF
103	Antonino Salibra	Topological incompleteness and order incompleteness of the lambda calculu.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models
93	Shihao Ji, Layne T. Watson, Lawrence Carin	Semisupervised Learning of Hidden Markov Models via a Homotopy Method.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
90	Silvia Ghilezan, Viktor Kuncak	Confluence of Untyped Lambda Calculus via Simple Types.	ICTCS	2001	DBLP DOI BibTeX RDF
86	Richard Kennaway, M. Ronan Sleep	Director Strings as Combinators.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
82	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
78	Tom Tong Jing, Zhe Feng 0002, Yu Hu 0002, Xianlong Hong, Xiaodong Hu 0001, Guiying Yan	lambda-OAT: lambda-Geometry Obstacle-Avoiding Tree Construction With O(nlog n) Complexity.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
78	Satoshi Taoka, Toshiya Mashima, Toshimasa Watanabe	A 2-approximation algorithm FSA+1 to (lambda+1)-edge-connect a specified set of vertices in a lambda-edge-connected graph.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
74	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
73	Jaakko Järvi, John Freeman	Lambda functions for C++0x.	SAC	2008	DBLP DOI BibTeX RDF	lambda functions, C++, closures, STL
72	Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi	Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	lambda conversion, implementation, lambda calculus, explicit substitution
70	Luigi Liquori	Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets).		1996	RDF
70	Junibakti Sanubari	Identification algorithm of nonminimum phase system based on t-distribution assumption.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
68	Wayne Citrin, Richard Hall, Benjamin G. Zorn	Programming with Visual Expressions.	VL	1995	DBLP DOI BibTeX RDF	visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
67	Chantal Berline, Giulio Manzonetto, Antonino Salibra	Lambda Theories of Effective Lambda Models.	CSL	2007	DBLP DOI BibTeX RDF	Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models
66	Marco T. Morazán, Ulrik Pagh Schultz	Optimal Lambda Lifting in Quadratic Time.	IFL	2007	DBLP DOI BibTeX RDF
66	Thérèse Hardin, Luc Maranget, Bruno Pagano	Functional Back-Ends within the Lambda-Sigma Calculus.	ICFP	1996	DBLP DOI BibTeX RDF
66	Shinn-Der Lee, Daniel P. Friedman	Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.	ICFP	1996	DBLP DOI BibTeX RDF
66	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
65	Amitabha Banerjee, Wu-chun Feng, Dipak Ghosal, Biswanath Mukherjee	Algorithms for Integrated Routing and Scheduling for Aggregating Data from Distributed Resources on a Lambda Grid.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	lambda grid, large scale data transfers, scheduling, routing, circuit switching
64	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
62	William Blum, C.-H. Luke Ong	The Safe Lambda Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
62	Jesper Jansson 0001, Joseph H.-K. Ng, Kunihiko Sadakane, Wing-Kin Sung	Rooted Maximum Agreement Supertrees.	Algorithmica	2005	DBLP DOI BibTeX RDF
62	Richard Statman	Morphisms and Partitions of V-sets.	CSL	1998	DBLP DOI BibTeX RDF
62	Norman Ramsey	Relocating Machine Instructions by Currying.	PLDI	1996	DBLP DOI BibTeX RDF
62	Roel C. de Vrijer	Big trees in a lambda - calculus with lambda - expressions as types.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
62	Jean-Jacques Lévy	An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
58	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
58	Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.	RTA	2002	DBLP DOI BibTeX RDF
57	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang	Complete Lax Logical Relations for Cryptographic Lambda-Calculi.	CSL	2004	DBLP DOI BibTeX RDF	Cryptographic lambda-calculus, Subscone, Monads, Logical relations
54	Saeed Mashhadi, Jawad A. Salehi	Code-division multiple-access techniques in optical fiber networks - part III: optical AND logic gate receiver structure with generalized optical orthogonal codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
54	Jie Wu 0001, Yuanyuan Yang 0001	The Postal Network: A Versatile Interconnection Topology.	ICPP	1998	DBLP DOI BibTeX RDF
54	B. John Oommen, Jack R. Zgierski	Breaking Substitution Cyphers Using Stochastic Automata.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	substitution cyphers, finite plaintext alphabet, cypher alphabet, unigrams, trigrams, automaton solution, cypher learning automaton, learning, cryptography, learning systems, cardinality, stochastic automata, stochastic automata, statistical information, relaxation theory, relaxation scheme
54	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
54	Anton Setzer	Java as a Functional Programming Language.	TYPES	2002	DBLP DOI BibTeX RDF	object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
53	Jaroslav Pokorný	XML Functionally.	IDEAS	2000	DBLP DOI BibTeX RDF	XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages
51	Lambda Moses	From Geospatial to Spatial -Omics.	XRDS	2023	DBLP DOI BibTeX RDF
51	Thomas Ehrhard, Laurent Regnier	Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.	CiE	2006	DBLP DOI BibTeX RDF
51	Joachim Niehren, Mateu Villaret	Describing Lambda Terms in Context Unification.	LACL	2005	DBLP DOI BibTeX RDF	second-order unification, dominance constraints, underspecified semantics, computational linguistics
51	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Lifting in Quadratic Time.	FLOPS	2002	DBLP DOI BibTeX RDF
51	Philippe Preux	Propagation of Q-values in Tabular TD(lambda).	ECML	2002	DBLP DOI BibTeX RDF
51	Alessandro Berarducci, Corrado Böhm	A Self-Interpreter of Lambda Calculus Having a Normal Form.	CSL	1992	DBLP DOI BibTeX RDF
50	Reiji Nakajima	Infinite normal forms for the lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Corrado Böhm, Mariangiola Dezani-Ciancaglini	Lambda-terms as total or partial functions on normal forms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Giorgio Ausiello	On the description of time varying systems in lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Louis Nolin	Les modèles informatiques des lambda-calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	J. M. E. Hyland	A survey of some useful partial order relations on terms of the lambda calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Luigia Carlucci Aiello, Mario Aiello	Programming language semantics in a typed lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Herbert Egli	Typed meaning in Scott's lambda - calculus models.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Gérard P. Huet	unification in typed lambda calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	Jan Willem Klop	On solvability by lambda I - terms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
50	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
50	Stefan Blom	An Approximation Based Approach to Infinitary Lambda Calculi.	RTA	2004	DBLP DOI BibTeX RDF	infinitary rewriting, lambda calculus
50	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
50	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
49	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
49	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
47	Jan Springintveld	Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P.	TLCA	1993	DBLP DOI BibTeX RDF
47	Bart Jacobs 0001	Semantics of lambda-I and of other substructure lambda calculi.	TLCA	1993	DBLP DOI BibTeX RDF
47	Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca	Elementary Affine Logic and the Call-by-Value Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
47	Keqin Feng, Jinquan Luo	Value Distributions of Exponential Sums From Perfect Nonlinear Functions and Their Applications.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
47	Ioannis Kontoyiannis, Peter Harremoës, Oliver Johnson	Entropy and the law of small numbers.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
47	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
46	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak	Logical Relations for Monadic Types.	CSL	2002	DBLP DOI BibTeX RDF	semantics, monads, logical relations, typed lambda-calculus
45	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
43	Peter Selinger, Benoît Valiron	A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).	FoSSaCS	2008	DBLP DOI BibTeX RDF
43	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
43	Yo Ohta, Masahito Hasegawa	A Terminating and Confluent Linear Lambda Calculus.	RTA	2006	DBLP DOI BibTeX RDF
43	A. Bobyshev, Matt Crawford, Phil DeMar, V. Grigaliunas, M. Grigoriev, Alexander Moibenko, Donald Petravick, Ron Rechenmacher, Harvey B. Newman, Julian J. Bunn, Frank van Lingen, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas 0002, Yang Xia	Lambda Station: On-Demand Flow Based Routing for Data Intensive Grid Applications Over Multitopology Networks.	BROADNETS	2006	DBLP DOI BibTeX RDF
43	Ryo Yoshinaka	Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.	RTA	2005	DBLP DOI BibTeX RDF
43	Antonio Bucciarelli, Antonino Salibra	The Sensible Graph Theories of Lambda Calculus.	LICS	2004	DBLP DOI BibTeX RDF
43	Michael Beeson	Lambda Logic.	IJCAR	2004	DBLP DOI BibTeX RDF
43	Kazuto Tominaga, Tomoya Suzuki, Kazuhiro Oka	An Encoding Scheme for Generating lambda-Expressions in Genetic Programming.	GECCO	2003	DBLP DOI BibTeX RDF
43	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
43	Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda	Design and implementation of the Lambda mu-kernel based operating system for embedded systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
43	Thomas Thomsen	Lambda-Search in Game Trees - with Application to Go.	Computers and Games	2000	DBLP DOI BibTeX RDF	binary tree search, threat-sequences, null-moves, proof-number search, abstract game-knowledge, Go block tactics
43	Adam Fischbach, John Hannan	Specification and Correctness of Lambda Lifting.	SAIG	2000	DBLP DOI BibTeX RDF
43	Ian Mackie	YALE: Yet Another Lambda Evaluator Based on Interaction Nets.	ICFP	1998	DBLP DOI BibTeX RDF
43	Martin Hofmann 0001, Thomas Streicher	Continuation Models are Universal for Lambda-Mu-Calculus.	LICS	1997	DBLP DOI BibTeX RDF
43	Julia L. Lawall, Harry G. Mairson	Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?	ICFP	1996	DBLP DOI BibTeX RDF
42	Pieter Thysebaert, Bruno Volckaert, Marc De Leenheer, Filip De Turck, Bart Dhoedt, Piet Demeester	Dimensioning and on-line scheduling in Lambda Grids using divisible load concepts.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Lambda Grids, Optical Transport Networks, Optimization, Divisible Load
42	David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August	Static typing for a faulty lambda calculus.	ICFP	2006	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
42	Carlos Herrero, Javier Oliver 0001	Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.	SOFSEM	1999	DBLP DOI BibTeX RDF	Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra
39	Denis Cousineau 0002, Gilles Dowek	Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.	TLCA	2007	DBLP DOI BibTeX RDF
39	Paula Severi, Fer-Jan de Vries	Continuity and Discontinuity in Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
39	Ken-etsu Fujita	A Sound and Complete CPS-Translation for lambda-mu-Calculus.	TLCA	2003	DBLP DOI BibTeX RDF
39	Peter W. O'Hearn	Resource Interpretations, Bunched Implications and the alpha lambda-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
39	Ken-etsu Fujita	Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value.	TLCA	1999	DBLP DOI BibTeX RDF
39	Pietro Di Gianantonio, Gianluca Franco, Furio Honsell	Game Semantics for Untyped lambda beta eta-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
39	Xiang Li 0003, Norbert Oertel, Andreas Hutter, André Kaup	Laplace Distribution Based Lagrangian Rate Distortion Optimization for Hybrid Video Coding.	IEEE Trans. Circuits Syst. Video Technol.	2009	DBLP DOI BibTeX RDF
39	Travis Gagie, Marek Karpinski, Yakov Nekrich	Low-Memory Adaptive Prefix Coding.	DCC	2009	DBLP DOI BibTeX RDF
39	Gabriel Paillard, Vlady Ravelomanana	Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
39	Vladimir Kolmogorov, Yuri Boykov, Carsten Rother	Applications of parametric maxflow in computer vision.	ICCV	2007	DBLP DOI BibTeX RDF
39	Saeed Mashhadi, Jawad A. Salehi	Code-Division Multiple-Access Techniques in Optical Fiber Networks - Part III: Optical AND Gate Receiver Structure With Generalized Optical Orthogonal Codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
39	Slawomir Lasota 0001, David Nowak, Yu Zhang	On Completeness of Logical Relations for Monadic Types.	ASIAN	2006	DBLP DOI BibTeX RDF
39	Christian S. Collberg	A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine.	Diagrams	2002	DBLP DOI BibTeX RDF
39	Mark Shields, Erik Meijer 0001	Type-indexed rows.	POPL	2001	DBLP DOI BibTeX RDF	XML, SGML
39	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
39	Yugen Takegahara	On Butler's Unimodality Result.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 20K01
39	Jan Willem Klop	Origin Tracking in Term Rewriting (Abstract).	RTA	1998	DBLP DOI BibTeX RDF