>archives
>artifacts
>about
Categories & Tags
/blog (6)
#abstract machine (5)
#cbpv (4)
#logic (4)
#meta (1)
#zola (1)
2024
2024-01-05
CEK and Control Operators
/blog
#abstract machine
2023
2023-09-16
CBPV and Natural Deduction - Part 4. Polarized Logic
/blog
#logic
#abstract machine
#cbpv
2023-08-25
CBPV and Natural Deduction - Part 3. Linear Logic
/blog
#logic
#abstract machine
#cbpv
2023-08-20
CBPV and Natural Deduction - Part 2. Sums and Products
/blog
#logic
#abstract machine
#cbpv
2023-07-22
CBPV and Natural Deduction - Part 1. Small steps
/blog
#logic
#abstract machine
#cbpv
2023-06-12
First post
/blog
#zola
#meta
