<section9 name="citations">Citations</section9>
<body>
- This is a list of publications citing λδ (not including our own).
+ This is a list of publications citing λδ documentation.
</body>
+ <topitem name="C7">
+ C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
+ <notice class="alpha" notice="ELPI: fast, Embeddable, λProlog Interpreter"/>
+ (2015). In proc. of LPAR 20. LNCS 9450, pp. 460-468.
+ </topitem>
+
<topitem name="C6">
A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi:
<notice class="alpha" notice="Formal metatheory of programming languages in the Matita interactive theorem prover"/>
<topitem name="C3">
C.E. Brown:
<notice class="alpha" notice="Faithful Reproductions of the Automath Landau Formalization"/>
- (2011). Typescript note.
+ (2011). Technical report.
</topitem>
<topitem name="C2">
<topitem name="C1">
V. Rahili:
<notice class="alpha" notice="First Year Report: Realisability methods of proof and semantics with application to expansion"/>
- (July 2007). Typescript note.
+ (July 2007). Technical report.
</topitem>
<footer/>