N. Cohen, F. Inerney, N. Nisse, und S. Pérennes. ISAAC, Volume 92 von LIPIcs, Seite 22:1-22:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)
C. Cohen, T. Coquand, S. Huber, und A. Mörtberg. TYPES, Volume 69 von LIPIcs, Seite 5:1-5:34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)