A modal foundation for meta-variables

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976582 ◽

2003 ◽

Cited By ~ 5

Author(s):

Aleksandar Nanevski ◽

Brigitte Pientka ◽

Frank Pfenning

Download Full-text