Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Marcin Benke
2016
- Marcin Benke, Daria Monika Walukiewicz-Chrząszcz and Aleksy Andrzej Schubert, Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic, in: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Niemcy 2016, p. 12:1–12:16.see in PBN
2015
- Marcin Benke, Viviana Bono and Aleksy Andrzej Schubert, Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings In Theoretical Computer Science 177 2015, p. 65–78.see in PBN
- Marcin Benke, Specifying Functional Programs with Intuitionistic First Order Logic, in: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming (CS&P 2015), Uniwersytet Rzeszowski, University of Rzeszow 2015, p. 57–63.see in PBN
2001
- Marcin Benke, Some tools for computer-assisted theorem proving in Martin-L"of type theory, in: R.J. Boulton, P.B. Jackson, 14th International Conference on Theorem Proving in Higher Order Logics, University Edinburgh, Edinburgh 2001.see in PBN
You are not logged in | log in
