home.social

#coinduction — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #coinduction, aggregated by home.social.

fetched live
  1. mekeor @[email protected] ·

    what's a good introductory video talk or text on coinduction and coinductive data types?

    #typetheory #categorytheory #algebra #math #theoreticalComputerScience #recursion #FunctionalProgramming #coinduction

    #typetheory #categorytheory #algebra #math #theoreticalcomputerscience #recursion
  2. Jesper Agdakx 🔸 @[email protected] ·
    New blog post: Introduction to Coinduction in Agda Part 1: Coinductive Programming

    jesper.cx/posts/coinduction-part-1.html

    #Agda #ProofAssistant #DependentTypes #Coinduction
    #agda #coinduction #dependenttypes #proofassistant
  3. Jesper Agdakx 🔸 @[email protected] ·
    New blog post: Introduction to Coinduction in Agda Part 1: Coinductive Programming

    jesper.cx/posts/coinduction-part-1.html

    #Agda #ProofAssistant #DependentTypes #Coinduction
    #agda #coinduction #dependenttypes #proofassistant
  4. Jesper Agdakx 🔸 @[email protected] ·
    The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

    cyclic-structures.gitlab.io/school2026/

    Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

    #Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris
    #agda #categorytheory #coinduction #concurrency #iris #logic
  5. Jesper Agdakx 🔸 @[email protected] ·
    The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

    cyclic-structures.gitlab.io/school2026/

    Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

    #Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris
    #agda #categorytheory #coinduction #concurrency #iris #logic
  6. timorl @[email protected] ·
    Ugh, we are finishing up a paper for submission and one of my coauthors wanted to better understand the math that I produced and get more useful references for people unfamiliar with #coinduction. Unfortunately it seems that by grabbing two approaches that try to treat it as something natural and combining them I did something that no one else did before, so now every reference will be confusing, because it uses an at least slightly different approach...

    How are we going to find reviewers for that. :blobfoxmeltsob:
    #coinduction