Tiu, Alwen; Momigliano, Alberto Cut elimination for a logic with induction and co-induction. (English) Zbl 1278.03086 J. Appl. Log. 10, No. 4, 330-367 (2012). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03F05 03B70 PDFBibTeX XMLCite \textit{A. Tiu} and \textit{A. Momigliano}, J. Appl. Log. 10, No. 4, 330--367 (2012; Zbl 1278.03086) Full Text: DOI arXiv
Miller, Dale A proposal for broad spectrum proof certificates. (English) Zbl 1349.03027 Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 54-69 (2011). MSC: 03B70 03B35 03F07 68Q60 68T15 PDFBibTeX XMLCite \textit{D. Miller}, Lect. Notes Comput. Sci. 7086, 54--69 (2011; Zbl 1349.03027) Full Text: DOI