2026 07 09

Created in July 09, 2026

2026

📝 publish a preprint about logical relations in directed type theory