skip to main content
10.5555/648085.747303guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

A Metalanguage for Programming with Bound Names Modulo Renaming

Published: 03 July 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
MPC '00: Proceedings of the 5th International Conference on Mathematics of Program Construction
July 2000
254 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 03 July 2000

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media