Specifying Functional Programs with Intuitionistic First Order Logic

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]

@inproceedings{Benke15,
  title = {Specifying Functional Programs with Intuitionistic First Order Logic},
  author = {Marcin Benke},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1492/Paper_06.pdf},
  researchr = {https://researchr.org/publication/Benke15},
  cites = {0},
  citedby = {0},
  pages = {57-63},
  booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015},
  editor = {Zbigniew Suraj and Ludwik Czaja},
  volume = {1492},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}