Why Nostr? What is Njump?
2023-11-08 17:24:05

Greg Restall on Nostr: My brilliant and hardworking PhD students are organising a workshop on proofs, rules ...

My brilliant and hardworking PhD students are organising a workshop on proofs, rules and meanings here at Arché at St Andrews next April. If you’re interested in proof theoretic semantics, come along and join in the fun.

https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/

Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7