Alea @alea@schelling.pt

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