On the Decidability and Complexity of the Structural Congruence for Beta-binders

Bibliographic citation A. Romanel, C. Priami, "On the Decidability and Complexity of the Structural Congruence for Beta-binders" in THEORETICAL COMPUTER SCIENCE, v. 404, n. 1-2 (2008), p. 156-169. - DOI: 10.1016/j.tcs.2008.04.007

Detail