Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson. Computation in focused intuitionistic logic. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 43-54, ACM, 2015. [doi]
Abstract is missing.