Coinduction

Results: 78



#Item
11Coinduction in Agda via Copatterns and Sized Types Andreas Abel Department of Computer Science and Engineering Chalmers and Universität Göteborg Dagstuhl Seminar 16131

Coinduction in Agda via Copatterns and Sized Types Andreas Abel Department of Computer Science and Engineering Chalmers and Universität Göteborg Dagstuhl Seminar 16131

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2016-04-03 11:58:20
    12Walking through infinite trees with mixed induction and coinduction Keiko Nakata Institute of Cybernetics, Tallinn (Joint work with Tarmo Uustalu and many thanks to T. Altenkirch and H. Herbelin )

    Walking through infinite trees with mixed induction and coinduction Keiko Nakata Institute of Cybernetics, Tallinn (Joint work with Tarmo Uustalu and many thanks to T. Altenkirch and H. Herbelin )

    Add to Reading List

    Source URL: www.cs.ioc.ee

    Language: English - Date: 2010-10-18 14:54:57
      13Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman

      Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      Language: English - Date: 2014-03-26 05:31:12
        14Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

        Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

        Add to Reading List

        Source URL: cs.ioc.ee

        Language: English - Date: 2010-08-19 14:05:01
          15Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

          Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

          Add to Reading List

          Source URL: www.cs.ru.nl

          Language: English - Date: 2013-01-17 04:22:03
          16Introduction Coinduction@Work Conclusion Foundations of Total Functional Data-Flow Programming, Coinductively (Cross-Complement from MSFP 2014)

          Introduction Coinduction@Work Conclusion Foundations of Total Functional Data-Flow Programming, Coinductively (Cross-Complement from MSFP 2014)

          Add to Reading List

          Source URL: www.coalg.org

          Language: English - Date: 2014-11-18 15:29:15
            17Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c

            Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c

            Add to Reading List

            Source URL: www.cs.ioc.ee

            Language: English - Date: 2010-07-07 10:33:05
              18Wander Types - Realizing Data Structures Through Coinduction-Recursion

              Wander Types - Realizing Data Structures Through Coinduction-Recursion

              Add to Reading List

              Source URL: www.duplavis.com

              Language: English - Date: 2012-05-09 11:32:35
                19

                PDF Document

                Add to Reading List

                Source URL: www.eis.mdx.ac.uk

                Language: English - Date: 2015-05-01 12:22:36
                20Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman

                Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman

                Add to Reading List

                Source URL: www.cse.chalmers.se

                Language: English - Date: 2014-03-23 14:09:57