Parallel PCF has a Unique Extensional Model (1991)

Cached

Download Links

by Allen Stoughton
Venue:In Proc. 6th IEEE Annual Symp. Logic in Computer Science
Citations:2 - 0 self