#

lambda-mu-calculus

Here are 3 public repositories matching this topic...

sequents / code

Proof theory seminar

proof-theory smallstep lambda-mu-calculus

Updated Apr 6, 2021
Idris

ivanbakel / haskell-mu

Attempts to embed lambda-mu semantics in Haskell

haskell category-theory lambda-mu-calculus

Updated Dec 26, 2020
Haskell

s-kybound / moo

Typing experiements with the lambda mu mu-tilde calculus

data typing continuations codata lambda-mu-calculus

Updated Oct 31, 2025
OCaml

Improve this page

Add a description, image, and links to the lambda-mu-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-mu-calculus topic, visit your repo's landing page and select "manage topics."