Marcin Benke. Specifying Functional Programs with Intuitionistic First Order Logic. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 57-63, CEUR-WS.org, 2015. [doi]