×

Found 3,293 Documents (Results 1–100)

100
MathJax

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 607-634 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 375-403 (2021).
MSC:  68Q85 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 264-291 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011

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, 180-200 (2020).
MSC:  68Q65 18C50 81P68
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

Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152

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, 133-154 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Injective objects and fibered codensity liftings. (English) Zbl 07314151

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, 112-132 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

De Finetti’s construction as a categorical limit. (English) Zbl 07314150

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, 90-111 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Learning automata with side-effects. (English) Zbl 07314149

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, 68-89 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Free-algebra functors from a coalgebraic perspective. (English) Zbl 07314148

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, 55-67 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147

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, 32-54 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Approximate coalgebra homomorphisms and approximate solutions. (English) Zbl 07314146

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, 11-31 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

The theory of universal graphs for games: past and future. (English) Zbl 07314145

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, 1-10 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

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. (English) Zbl 1454.68013

Lecture Notes in Computer Science 12094. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). xv, 201 p. (2020).
MSC:  68-06 68Q65 00B25
PDF BibTeX XML Cite
Full Text: DOI

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Term charters. (English) Zbl 1444.68085

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Highlights of the Rice-Shapiro theorem in computable topology. (English) Zbl 1461.03039

Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 241-255 (2018).
PDF BibTeX XML Cite
Full Text: DOI

A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Hierarchical specification and verification of architectural design patterns. (English) Zbl 1425.68272

Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10802, 149-168 (2018).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI

Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 06962939

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 214-234 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Fibrational bisimulations and quantitative reasoning. (English) Zbl 06962938

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 190-213 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract). (English) Zbl 06962937

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 167-189 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

On algebras with effectful iteration. (English) Zbl 06962936

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Steps and traces. (English) Zbl 06962935

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 122-143 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

(in)finite trace equivalence of probabilistic transition systems. (English) Zbl 06962934

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 100-121 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 06962933

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 78-99 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 06962932

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 56-77 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Undecidability of equality for codata types. (English) Zbl 06962931

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs. (English) Zbl 06962930

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 13-33 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic logics & duality. (English) Zbl 06962929

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 6-12 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 06962928

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 1-5 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Boosting the reuse of formal specifications. (English) Zbl 1452.68263

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 477-494 (2018).
MSC:  68V15 08A70 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. (English) Zbl 1396.68009

Lecture Notes in Computer Science 11202. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). ix, 235 p. (2018).
MSC:  68-06 68Q65 00B25
PDF BibTeX XML Cite
Full Text: DOI

Heterogeneous substitution systems revisited. (English) Zbl 1433.68220

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Graph operations and free graph algebras. (English) Zbl 1383.68049

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018).
PDF BibTeX XML Cite
Full Text: DOI

On normal forms for structured specifications with generating constraints. (English) Zbl 1383.68051

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 266-284 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

The Verigraph system for graph transformation. (English) Zbl 1383.68041

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Distributive laws for monotone specifications. (English) Zbl 1483.68182

Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017).
MSC:  68Q55 18C15 68Q65
PDF BibTeX XML Cite
Full Text: arXiv Link

Quotients in monadic programming: projective algebras are equivalent to coalgebras. (English) Zbl 1458.68123

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017).
MSC:  68Q65 18C15 68N30
PDF BibTeX XML Cite
Full Text: arXiv Link

A monad for full ground reference cells. (English) Zbl 1458.68122

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: arXiv Link

Foundational nonuniform (co)datatypes for higher-order logic. (English) Zbl 1457.68173

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 11, 12 p. (2017).
MSC:  68Q65 03B16
PDF BibTeX XML Cite
Full Text: Link

Efficient coalgebraic partition refinement. (English) Zbl 1442.68112

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Checking linearizability of concurrent priority queues. (English) Zbl 1442.68126

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017).
MSC:  68Q85 68Q60 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Probability functions in the context of signed involutive meadows (extended abstract). (English) Zbl 1453.68105

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 73-87 (2017).
MSC:  68Q65 60A05
PDF BibTeX XML Cite
Full Text: DOI arXiv

UML interactions meet state machines – an institutional approach. (English) Zbl 1433.68097

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 15, 15 p. (2017).
MSC:  68N30 68Q10 68Q65
PDF BibTeX XML Cite
Full Text: DOI

On combining algebraic specifications with first-order logic via Athena. (English) Zbl 1380.68287

Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer (ISBN 978-3-319-68102-3/hbk; 978-3-319-68103-0/ebook). Springer Proceedings in Mathematics & Statistics 219, 399-422 (2017).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI

Building and integrating semantic theories over institutions. (English) Zbl 1439.68015

Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017).
MSC:  68Q65 03C95 18C50
PDF BibTeX XML Cite
Full Text: DOI

Class-diagrams for abstract data types. (English) Zbl 1444.68106

Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 100-117 (2017).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Companions, codensity and causality. (English) Zbl 1442.68149

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

Introduction to coalgebra. Towards mathematics of states and observation. (English) Zbl 1364.68001

Cambridge Tracts in Theoretical Computer Science 59. Cambridge: Cambridge University Press (ISBN 978-1-107-17789-5/hbk; 978-1-316-82318-7/ebook). xvi, 477 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Directed containers as categories. (English) Zbl 1477.68169

Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89-98 (2016).
PDF BibTeX XML Cite
Full Text: arXiv Link

How to reason coinductively informally. (English) Zbl 1439.03071

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 377-408 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016).
MSC:  68Q65 18C10 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Algebraic foundations for specification refinements. (English) Zbl 1396.68032

Ribeiro, Leila (ed.) et al., Formal methods: foundations and applications. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49814-0/pbk; 978-3-319-49815-7/ebook). Lecture Notes in Computer Science 10090, 112-128 (2016).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software