Search results for "$lambda$-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Silvia Ghilezan, Viktor Kuncak	Confluence of Untyped Lambda Calculus via Simple Types.	ICTCS	2001	DBLP DOI BibTeX RDF
114	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
113	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
108	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
106	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
105	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
103	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
102	Richard Kennaway, M. Ronan Sleep	Director Strings as Combinators.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
94	Reiji Nakajima	Infinite normal forms for the lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
94	Giorgio Ausiello	On the description of time varying systems in lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
94	Louis Nolin	Les modèles informatiques des lambda-calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
94	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
94	Luigia Carlucci Aiello, Mario Aiello	Programming language semantics in a typed lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
94	Herbert Egli	Typed meaning in Scott's lambda - calculus models.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
94	Gérard P. Huet	unification in typed lambda calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
85	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
84	William Blum, C.-H. Luke Ong	The Safe Lambda Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
84	Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.	RTA	2002	DBLP DOI BibTeX RDF
81	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
79	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
79	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
79	Horatiu Cirstea, Luigi Liquori, Benjamin Wack	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.	TYPES	2003	DBLP DOI BibTeX RDF	Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
77	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
76	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
76	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
76	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
74	Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.)	From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Sebastian Hunt, David Sands 0001	New Program Abstractions for Privacy.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Andrew Fielder	Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Flemming Nielson, Hanne Riis Nielson	Secure Guarded Commands.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Alessandra Di Pierro	A Type Theory for Probabilistic λ-calculus.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Torben Amtoft, Kelly Androutsopoulos, David Clark 0001	Correctly Slicing Extended Finite State Machines.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski	Galois Connections for Recursive Types.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Simon J. Gay	Cables, Trains and Types.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias	Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Security Metrics at Work on the Things in IoT Systems.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Helmut Seidl, Julian Erhard, Ralf Vogler	Incremental Abstract Interpretation.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Richard Prideaux Evans, Martin Berger 0001	Cathoristic Logic.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
74	Corrado Böhm (eds.)	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	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
74	Dana S. Scott	Some philosophical issues concerning theories of combinators.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Marisa Venturini Zilli	A model with nondeterministic computation.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Carlo Batini, Alberto Pettorossi	On subrecursiveness in weak combinatory logic.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	J. W. de Bakker	Least fixed points revisited.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Vladimir Yu. Sazonov	Sequentially and parallelly computable functionals.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Dana S. Scott	Combinators and classes.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	A. Dubinsky	Computation on arbitrary algebras.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74		Open problems.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Henk Barendregt	Normed uniformly reflexive structures.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Giuseppe Jacopini	A condition for identifying two elements of whatever model of combinatory logic.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Jan Willem Klop	On solvability by lambda I - terms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
74	Peter H. Welch	Continuous semantics and inside-out reductions.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
72	Alessandro Berarducci, Corrado Böhm	A Self-Interpreter of Lambda Calculus Having a Normal Form.	CSL	1992	DBLP DOI BibTeX RDF
71	Richard Statman	Morphisms and Partitions of V-sets.	CSL	1998	DBLP DOI BibTeX RDF
69	Luis Mandel, María Victoria Cengarle	The Disjunctive Constrained Lambda Calculus.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	constraints, functional programming, lambda calculus, denotational semantics, multiple solutions
69	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
69	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
68	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
68	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
68	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
68	Yo Ohta, Masahito Hasegawa	A Terminating and Confluent Linear Lambda Calculus.	RTA	2006	DBLP DOI BibTeX RDF
67	Thérèse Hardin, Luc Maranget, Bruno Pagano	Functional Back-Ends within the Lambda-Sigma Calculus.	ICFP	1996	DBLP DOI BibTeX RDF
66	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
65	Kazushige Terui	Light affine lambda calculus and polynomial time strong normalization.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Light logics, Lambda calculus, Polynomial time
64	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
64	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
64	Ryo Yoshinaka	Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.	RTA	2005	DBLP DOI BibTeX RDF
64	Antonio Bucciarelli, Antonino Salibra	The Sensible Graph Theories of Lambda Calculus.	LICS	2004	DBLP DOI BibTeX RDF
64	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
62	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
61	Yu Zhang, David Nowak	Logical Relations for Dynamic Name Creation.	CSL	2003	DBLP DOI BibTeX RDF	Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
61	Pierre-Louis Curien, Hugo Herbelin	The duality of computation.	ICFP	2000	DBLP DOI BibTeX RDF
61	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
61	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
61	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
60	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	FLOPS	2002	DBLP DOI BibTeX RDF
59	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
57	Martin Odersky, Dan Rabin, Paul Hudak	Call by Name, Assignment, and the Lambda Calculus.	POPL	1993	DBLP DOI BibTeX RDF
57	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
57	Klaus Aehlig, Jan Johannsen	An elementary fragment of second-order lambda calculus.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Elementary recursive functions, complexity, lambda calculus, second order logic
57	Carsten K. Gomard	A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	partial evaluation, lambda calculus, compiler generation, self-application
56	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
56	Stefan Blom	An Approximation Based Approach to Infinitary Lambda Calculi.	RTA	2004	DBLP DOI BibTeX RDF	infinitary rewriting, lambda calculus
56	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
56	Paul Blain Levy	Jumbo lambda-Calculus.	ICALP (2)	2006	DBLP DOI BibTeX RDF
56	Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler	The Call-by-Need Lambda Calculus.	POPL	1995	DBLP DOI BibTeX RDF
56	Jan Kuper	Usability: Formalising (Un)definedness in Typed Lambda Calculus.	CSL	1994	DBLP DOI BibTeX RDF
56	Jan Willem Klop	Origin Tracking in Term Rewriting (Abstract).	RTA	1998	DBLP DOI BibTeX RDF
54	Delia Kesner, Pablo E. Martínez López	Explicit Substitutions for Objects and Functions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
53	Mitsuhiro Okada	Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.	ISSAC	1989	DBLP DOI BibTeX RDF
53	Patrick Baillot, Virgile Mogbil	Soft lambda-Calculus: A Language for Polynomial Time Computation.	FoSSaCS	2004	DBLP DOI BibTeX RDF
53	Peter W. O'Hearn	Resource Interpretations, Bunched Implications and the alpha lambda-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
53	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
52	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
52	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
52	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
52	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
52	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
52	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
52	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF