Foundational Calculi for Programming Languages (1995)

Cached

Download Links

by Benjamin C. Pierce
Venue:in the CRC Handbook of Computer Science and Engineering. Available electronically
Citations:15 - 0 self