Brink, Chris Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-229.pdf (Any fulltext), 138KB
Brink, C., Britz, K., & Schmidt, R. A.(1992). Peirce algebras (MPI-I-92-229). Saarbrücken: Max-Planck-Institut für Informatik.