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:12 - 5 self