A Relational Account of Call-by-Value Sequentiality (1999)

by Anders B. Sandholm , Jon G. Riecke
Venue:IN: PROC. 12TH SYMP. LOGIC IN COMPUTER SCIENCE
Citations:13 - 2 self