The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Alpha-conversion (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2007 (15) 2018 (1)
Publication types (Num. hits)
article(6) inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
32Andrew D. Gordon 0001 A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Andrew M. Pitts A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Andrew M. Pitts, Mark R. Shinwell Generative unbinding of names. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF alpha-conversion, meta-programming, abstract syntax, binders
27Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay FreshML: programming with binders made simple. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF alpha-conversion, metaprogramming, variable binding
27Murdoch Gabbay, Andrew M. Pitts A New Approach to Abstract Syntax with Variable Binding. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
25Murdoch Gabbay, Andrew M. Pitts A New Approach to Abstract Syntax Involving Binders. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF permutation models, set theory, binding, abstract syntax
20George Cherevichenko Alpha-conversion for lambda terms with explicit weakenings. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
20Rick Statman On the complexity of alpha conversion. Search on Bibsonomy J. Symb. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Maribel Fernández, Ian Mackie, François-Régis Sinot Closed reduction: explicit substitutions without alpha-conversion. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Guillaume Gillard A Formalization of a Concurrent Object Calculus up to alpha-Conversion. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn Alpha-Conversion and Typability. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Andrew D. Gordon 0001, Thomas F. Melham Five Axioms of Alpha-Conversion. Search on Bibsonomy TPHOLs The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Randy Pollack Closure Under Alpha-Conversion. Search on Bibsonomy TYPES The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Pierre-Louis Curien Alpha-conversion, conditions on variables and categorical logic. Search on Bibsonomy Stud Logica The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
13Dale Miller 0001 Abstract Syntax for Variable Binders: An Overview. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Eugenio Moggi Functor Categories and Two-Level Languages. Search on Bibsonomy FoSSaCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license