×

Found 9 Documents (Results 1–9)

List objects with algebraic structure. (English) Zbl 1441.68016

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017).
MSC:  68N18 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Natural number objects in Dialectica categories. (English) Zbl 1335.03026

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 53-65, electronic only (2014).
MSC:  03B47 03F52 03G30
PDFBibTeX XMLCite
Full Text: DOI

Induction, coinduction, and adjoints. (English) Zbl 1270.68190

Blute, Rick (ed.) et al., CTCS’02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15–17, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 69, 101-119 (2003).
MSC:  68Q65 18A40 18C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software