MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences)

F Honsell, Marino Miculan, A. Momigliano
2003-01-01
Cite
Publication
ACM

Related