is anyone out there extremely familiar with asher-style type logics for lexical semantics? trying to understand how type presuppositions propagate across the curry-howard isomorphic boundary (ie: if I presuppose an argument of type A in the lexical content (LHS), is that reflected on the type side?)
Dr David S Anderson
NEW: lots of you have sent me this article asking for my thoughts. I’ve been able to confirm it. Just as she says, Trump’s administration is staging vote.gov on a non-government cloudflare account under the EOP where there’s no oversight or accounting. 1/ open.substack.com/pub/thedreyd...
