DMCA

Algebraic Reasoning and Completeness in Typed Languages (1992)

Cached

Download Links

by Jon G. Riecke , Ramesh Subrahmanyam
Venue:In Proc. 20th ACM Symposium on Principles of Programming Languages
Citations:1 - 0 self