DMCA

Correctness proof for the WAM with types (1992)

Cached

Download Links

by Christoph Beierle , Egon Börger
Venue:Computer Science Logic, volume 626 of LNCS
Citations:14 - 7 self