Search results for "alpha-conversion"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Andrew D. Gordon 0001	A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.	HUG	1993	DBLP DOI BibTeX RDF
27	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
27	Andrew M. Pitts, Mark R. Shinwell	Generative unbinding of names.	POPL	2007	DBLP DOI BibTeX RDF	alpha-conversion, meta-programming, abstract syntax, binders
27	Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay	FreshML: programming with binders made simple.	ICFP	2003	DBLP DOI BibTeX RDF	alpha-conversion, metaprogramming, variable binding
27	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax with Variable Binding.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
25	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax Involving Binders.	LICS	1999	DBLP DOI BibTeX RDF	permutation models, set theory, binding, abstract syntax
20	George Cherevichenko	Alpha-conversion for lambda terms with explicit weakenings.	CoRR	2018	DBLP BibTeX RDF
20	Rick Statman	On the complexity of alpha conversion.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
20	Maribel Fernández, Ian Mackie, François-Régis Sinot	Closed reduction: explicit substitutions without alpha-conversion.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
20	Guillaume Gillard	A Formalization of a Concurrent Object Calculus up to alpha-Conversion.	CADE	2000	DBLP DOI BibTeX RDF
20	A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn	Alpha-Conversion and Typability.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
20	Andrew D. Gordon 0001, Thomas F. Melham	Five Axioms of Alpha-Conversion.	TPHOLs	1996	DBLP DOI BibTeX RDF
20	Randy Pollack	Closure Under Alpha-Conversion.	TYPES	1993	DBLP DOI BibTeX RDF
20	Pierre-Louis Curien	Alpha-conversion, conditions on variables and categorical logic.	Stud Logica	1989	DBLP DOI BibTeX RDF
13	Dale Miller 0001	Abstract Syntax for Variable Binders: An Overview.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Eugenio Moggi	Functor Categories and Two-Level Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF

Displaying result #1 - #16 of 16 (100 per page; Change: )