Homepage of Alban Ponse
Since May 2022, I am a guest researcher at the TCS group of the Informatics Institute, Faculty of Science, University of Amsterdam (UvA)
Most recent papers:
- Papuc, D. and Ponse, A., 2022. Non-commutative propositional logic with short-circuited biconditional and NAND. arXiv:2203.09321 [cs.LO] (17 March 2022)
- Bergstra, J. A., Ponse, A., and Staudt, D. J. C., 2021. Non-commutative propositional logic with short-circuit evaluation. Journal of Applied Non-Classical Logics, 31(3-4), 234-278 (published online: 19 Dec 2021), https://doi.org/10.1080/11663081.2021.2010954
- Bergstra, J. A. and Ponse, A., 2021. Datatype defining rewrite systems for naturals and integers. Logical Methods in Computer Science 17(1) (published online: 18 Feb 2021), https://doi.org/10.23638/LMCS-17(1:17)2021
