Finished TEFL, though.
-
(no subject)
I think I got around the need for corecursion by just using One More Linear Token: defining ◇A = ∃x.z(x) ⊗ □!(z(x) ⊸ ∀a.q(a) ⊸ ∃b.q(b) ⊗ □!(ℓ(a) ⊸…
-
(no subject)
Thought some more about what happens when you take positive props P ::= ↓G | P ⊕ P | 0 negative props N ::= ↑G | N & N | ⊤ games G ::= {N|P}…
-
(no subject)
Dang. Stuff from yesterday led down a path that made me think I had a very tidy answer to the age-old question of "read-only…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
