×

Found 96 Documents (Results 1–96)

100
MathJax

Combining semilattices and semimodules. (English) Zbl 07410421

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

A categorical approach to secure compilation. (English) Zbl 07314153

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories. (English) Zbl 1469.03167

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018).
MSC:  03F52 03G30 18C20
PDF BibTeX XML Cite
Full Text: DOI

Monoidal company for accessible functors. (English) Zbl 1436.18014

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017).
MSC:  18M05 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Combining effects and coeffects via grading. (English) Zbl 1361.68037

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 476-489 (2016).
MSC:  68N18 18C50 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Formalizing bialgebraic semantics in PVS 6.0. (English) Zbl 1428.68179

Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 47-61 (2015).
MSC:  68Q55 68N30 68V20
PDF BibTeX XML Cite
Full Text: DOI

Distributive algebras, isoclinism, and invariant probabilities. (English) Zbl 1328.08001

Dougherty, Steven (ed.) et al., Noncommutative rings and their applications. International conference on noncommutative rings and their applications, Université d’Artois, Lens, France, July 1–4, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1032-2/pbk; 978-1-4704-2264-6/ebook). Contemporary Mathematics 634, 31-52 (2015).
PDF BibTeX XML Cite

Update monads: cointerpreting directed containers. (English) Zbl 1359.68049

Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 1-23 (2014).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic update lenses. (English) Zbl 1337.68084

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 25-48, electronic only (2014).
MSC:  68P15 18C15 18C20
PDF BibTeX XML Cite
Full Text: DOI

Unifying structured recursion schemes. (English) Zbl 1323.68123

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 209-220 (2013).
MSC:  68N18 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link

Proving the unique fixed-point principle correct: an adventure with category theory. (English) Zbl 1323.68211

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 359-371 (2011).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Unsteady high order residual distribution schemes with applications to linearised Euler equations. (English) Zbl 1216.65133

Kreiss, Gunilla (ed.) et al., Numerical mathematics and advanced applications 2009. Proceedings of ENUMATH 2009, the 8th European conference on numerical mathematics and advanced applications, Uppsala, Sweden, June 29–July 3, 2009. Berlin: Springer (ISBN 978-3-642-11794-7/hbk; 978-3-642-11795-4/ebook). 911-919 (2010).
MSC:  65M60 35L65
PDF BibTeX XML Cite
Full Text: DOI

Countable Lawvere theories and computational effects. (English) Zbl 1276.68100

Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 59-71 (2006).
MSC:  68Q55 18C10 18C15
PDF BibTeX XML Cite
Full Text: Link

Algebra of truth values for non-classical logics. (English) Zbl 1076.03042

Choudary, A. D. R. (ed.) et al., World conference on 21st century mathematics 2004. Proceedings of the conference, Lahore, Pakistan, March 18–20, 2004. Lahore: G. C. University, School of Mathematical Sciences (ISBN 969-8864-00-8/pbk). 140-147 (2004).
MSC:  03G25 06F07
PDF BibTeX XML Cite

Distributive laws, bialgebras, and cohomology. (English) Zbl 0866.18008

Loday, Jean-Louis (ed.) et al., Operads: Proceedings of renaissance conferences. Special session and international conference on moduli spaces, operads, and representation theory/operads and homotopy algebra, March 1995/May–June 1995, Hartford, CT, USA/Luminy, France. Providence, RI: American Mathematical Society. Contemp. Math. 202, 167-205 (1997).
Reviewer: M.Markl (Praha)
MSC:  18C15 18G99
PDF BibTeX XML Cite

Quasi-division rings. – Some examples of quasiregular rings. (English) Zbl 0805.16007

Márki, László (ed.) et al., Theory of radicals. Amsterdam: North- Holland Publishing Company. Colloq. Math. Soc. János Bolyai. 61, 35-59 (1993).
PDF BibTeX XML Cite

Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. (English) Zbl 0671.06001

Amsterdam etc.: North-Holland. xix, 1367 p./set. $ 309.75/set; Dfl. 635.00/set (1989).
Reviewer: J.Roitman
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software