Search results for "alpha-equivalence"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
36	David Herman, Mitchell Wand	A Theory of Hygienic Macros.	ESOP	2008	DBLP DOI BibTeX RDF
31	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	Nominal system T.	POPL	2010	DBLP DOI BibTeX RDF	alpha-equivalence, types, recursion, binders
24	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
21	Kentaro Kikuchi	Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting.	ICTAC	2022	DBLP DOI BibTeX RDF
21	Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones	Hashing Modulo Alpha-Equivalence.	CoRR	2021	DBLP BibTeX RDF
21	Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones	Hashing modulo alpha-equivalence.	PLDI	2021	DBLP DOI BibTeX RDF
21	Manfred Schmidt-Schauß, Conrad Rau, David Sabel	Algorithms for Extended Alpha-Equivalence and Complexity.	RTA	2013	DBLP DOI BibTeX RDF
21	Roy L. Crole	Alpha equivalence equalities.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
21	Christian Urban, Cezary Kaliszyk	General Bindings and Alpha-Equivalence in Nominal Isabelle	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
21	Christian Urban, Cezary Kaliszyk	General Bindings and Alpha-Equivalence in Nominal Isabelle.	ESOP	2011	DBLP DOI BibTeX RDF
21	Christophe Calvès, Maribel Fernández	Matching and alpha-equivalence check for nominal terms.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
21	Christophe Calvès, Maribel Fernández	Nominal Matching and Alpha-Equivalence.	WoLLIC	2008	DBLP DOI BibTeX RDF	?-equivalence, nominal terms, matching, Binders
17	Jesper Bengtson, Joachim Parrow	Formalising the pi-Calculus Using Nominal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
12	Stefan Berghofer, Christian Urban	Nominal Inversion Principles.	TPHOLs	2008	DBLP DOI BibTeX RDF
12	Murdoch Gabbay, Aad Mathijssen	One-and-a-halfth-order logic.	PPDP	2006	DBLP DOI BibTeX RDF	?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic