Hedonistic Learning

Learning for the fun of it

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Understanding typing judgments

April 13, 2016 02:41 UTC

Tags: Agda, type theory

Recent

  1. 2024-10-04 - Global Rebuilding, Coroutines, and Defunctionalization
  2. 2024-07-19 - Morleyization
  3. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  4. 2024-01-03 - Universal Quantification and Infinite Conjunction
  5. 2023-12-22 - What is the coproduct of two groups?
  6. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  7. 2021-01-06 - Overlaps
  8. 2020-08-09 - Complex-Step Differentiation
  9. 2020-07-06 - Enriched Indexed Categories, Syntactically
  10. 2020-07-06 - Internal Language of Indexed Monoidal Categories

Tags

  1. Agda (1)
  2. CS (4)
  3. category theory (14)
  4. concurrency (1)
  5. geometric algebra (1)
  6. javascript (1)
  7. logic (5)
  8. math (22)
  9. programming (5)
  10. type theory (2)