×

Found 173 Documents (Results 1–100)

Many-valued preorders. I: The basis of many-valued mathematics. (English) Zbl 1383.06001

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 125-150 (2015).
MSC:  06A06 03E72
PDF BibTeX XML Cite
Full Text: DOI

A simply typed \(\lambda\)-calculus of forward automatic differentiation. (English) Zbl 1342.68052

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 257-272 (2012).
MSC:  68N18 65D25 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Comonadic notions of computation. (English) Zbl 1279.68088

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008).
MSC:  68Q05 03B40 18C20
PDF BibTeX XML Cite
Full Text: DOI

The category theoretic understanding of universal algebra: Lawvere theories and monads. (English) Zbl 1277.08003

Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 437-458 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Pseudo-commutative monads. (English) Zbl 1260.18006

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 197-208 (2001).
MSC:  18C50 18C15 18D05 18D15
PDF BibTeX XML Cite
Full Text: DOI

Two-dimensional linear algebra. (English) Zbl 1260.18003

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 227-240 (2001).
MSC:  18C20 18D05 18D10 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software