Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Marcin Benke
2016
- Marcin Benke, Daria Monika Walukiewicz-Chrząszcz i Aleksy Andrzej Schubert, Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic, w: 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, s. 12:1–12:16.zobacz w PBN
2015
- Marcin Benke, Viviana Bono i Aleksy Andrzej Schubert, Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings In Theoretical Computer Science 177 2015, s. 65–78.zobacz w PBN
- Marcin Benke, Specifying Functional Programs with Intuitionistic First Order Logic, w: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming (CS&P 2015), Uniwersytet Rzeszowski, University of Rzeszow 2015, s. 57–63.zobacz w PBN
2001
- Marcin Benke, Some tools for computer-assisted theorem proving in Martin-L"of type theory, w: R.J. Boulton, P.B. Jackson, 14th International Conference on Theorem Proving in Higher Order Logics, University Edinburgh, Edinburgh 2001.zobacz w PBN