Robuta

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF18.4 EPTCS: Classical Proofs as Parallel Programs eptcs classical proofs parallel programs https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2020.1 EPTCS: From Equations to Distinctions: Two Interpretations of Effectful Computations eptcs equations distinctions two interpretations https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QPL2014.11 EPTCS: A Kochen-Specker system has at least 22 vectors (extended abstract) https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu17.5 EPTCS: Carnap: An Open Framework for Formal Reasoning in the Browser open framework in the eptcs carnap