Alea @alea@schelling.pt

logic is not about truth. truth is a game. logic is about playing games that are like truth games but not necessarily truth-valued. not all games are typed or typeable and that's ok

Connecting my mind with itself to achieve perfect flow and autopivot my emotional state in real time for fast-paced multitasking

It's the story of a coachman who, not knowing what a taxi was, had his new car shoed

my proposed research direction is indeed a trinity. in particular:
0. proof-objects
1. operational semantics
2. categorical semantics