··········0%

home about blog

Writing

#logic

Everything tagged "logic".

Filters

Type

All
Articles
Notes

Active series

Software Design
Foundations of Programming Languages
Engineering at Car & Classic
All series (4) →

Tags

case-study 5
performance 5
architecture 3
frontend 3
software-architecture 3
software-design 3
logic 1

All tags (19)

vue 3
backend 2
modularity 2
programming-languages 2
semantics 2
types 2
accessibility 1
career 1
haskell 1
inertia 1
open-source 1
seo 1

Type

All
Articles
Notes

Active series

Software Design
Foundations of Programming Languages
Engineering at Car & Classic
All series (4) →

Tags

case-study 5
performance 5
architecture 3
frontend 3
software-architecture 3
software-design 3
logic 1

All tags (19)

vue 3
backend 2
modularity 2
programming-languages 2
semantics 2
types 2
accessibility 1
career 1
haskell 1
inertia 1
open-source 1
seo 1

2026-09-15
Reading programming language papers: the notation, from sets to inference rules
Foundations of Programming Languages · 1/2
7 min

Home About Blog RSS Privacy

GitHub LinkedIn Instagram Email

try: sudo© 2026