This is a list of publications citing λδ documentation.
</body>
+ <topitem name="C8">
+ M.E. Maietti, S. Maschio:
+ <notice class="alpha">An extensional Kleene realizability semantics for the Minimalist Foundation</notice>
+ (2015). In Leibniz International Proceedings in Informatics, 39, pp 162-186. Schloss Dagstuhl, Leibniz-Zentrum für Informatik.
+ </topitem>
+
<topitem name="C7">
C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
<notice class="alpha">ELPI: Fast, Embeddable, λProlog Interpreter</notice>