Semantic Domain: The Geometry of Interaction, as an OCaml program
semantic-domain.blogspot.com · 4,012 words · saved by 1 readers
In this post, I'll show how to turn the Geometry of Interaction construction --- a model of linear logic --- into a runnable Ocaml code...
Semantic Domain: The Geometry of Interaction, as an OCaml program Wednesday, November 28, 2012 The Geometry of Interaction, as an OCaml program In this post, I'll show how to turn the Geometry of Interaction construction --- a model of linear logic --- into a runnable Ocaml code. . The basic idea behind this paper is that we can view higher-order behavior, as a disciplined mode of use of a first-order language with recursion --- basically, if you fix a calling convention, then you can compile first-class functions directly and compositionally into a first-order program. This is interesting bec
saved by
related reading
- Curry–Howard correspondenceen.wikipedia.org
- Jane Street Blogblog.janestreet.com
- Lambda calculus - Wikipediaen.wikipedia.org
- Learning to reason with LLMs | OpenAIopenai.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Actually, Othello-GPT Has A Linear Emergent World Representation - Neel Nandaneelnanda.io
- Category Theory on Math3mamath3ma.com
- Curry–Howard correspondence - Wikipediaen.wikipedia.org
- Kleisli Categories | Bartosz Milewski's Programming Cafebartoszmilewski.com
- propositions-as-types.pdfhomepages.inf.ed.ac.uk
- Type theory - Wikipediaen.wikipedia.org
- The Linear Representation Hypothesis and the Geometry of Large Language Modelsarxiv.org