Mario Román

Home

❯

notes

❯

syntax

Folder: notes/syntax

43 items under this folder.

Jul 29, 2026
On syntax and free objects
Jul 29, 2026
Type theory for delayed feedback
Jul 29, 2026
Type theory for symmetric monoidal categories
May 17, 2026
Magmadic metalanguages (project proposal)
May 17, 2026
Message Theories (project proposal)
Apr 13, 2026
Left-do notation
Apr 06, 2026
do notation
Mar 18, 2026
distributive signature
Mar 12, 2026
Some words on syntax
Mar 10, 2026
expressions over a Lawvere theory
Mar 10, 2026
verbal distributive law
Mar 05, 2026
imperative language
Mar 04, 2026
distributive language
Mar 04, 2026
implicational propositional logic
Feb 26, 2026
non-associative continuation passing
Oct 22, 2025
another do-notation
Aug 01, 2025
colawvere theories
Aug 01, 2025
intuition for duploids
Jun 12, 2025
nominal techniques
Sep 14, 2024
do-notation for copy-discard-compare categories
- do-notation
Sep 04, 2024
do-notation - theory of copy-discard-compare categories
Aug 24, 2024
polar shuffle, bijection based definition
Jul 20, 2024
do-notation substitution
Jan 16, 2024
multiquiver
Jan 16, 2024
do-notation for Freyd categories
- do-notation
Jan 16, 2024
arrow notation
Jan 04, 2024
effectful transition systems in do-notation
Nov 14, 2023
internal language
Aug 14, 2023
shuffle
Aug 14, 2023
Polar shuffles
Aug 03, 2023
Good syntax
Aug 03, 2023
Crema di mascarpone in do notation
Jul 08, 2023
Problem with exchange in do notation
Jul 08, 2023
The missing string adjunction
Jun 09, 2023
Session structure
Mar 07, 2023
Faithful cartesian club
Feb 22, 2023
Combinatorial insertions
Feb 10, 2023
arrow notation composition
Feb 10, 2023
Quotienting arrow notation
- do-notation
Feb 10, 2023
Derivations in arrow notation
Feb 09, 2023
Session do-notation
Feb 07, 2023
Do-notation in type theory
Nov 17, 2022
Signalling in quantum circuits

Mario Román (2026), CC-BY-SA. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID

Explorer

Folder: notes/syntax