A Semantical and Operational Account of Call−by−Value Solvability
Alberto Carraro and Giulio Guerrieri
Book Title
Foundations of Software Science and Computation Structures − 17th International Conference‚ FOSSACS 2014‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2014‚ Grenoble‚ France‚ April 5−13‚ 2014‚ Proceedings
Editor
Anca Muscholl
ISBN
978−3−642−54829−1
Pages
103–118
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8412
Year
2014