Why Nostr? What is Njump?
2024-08-19 12:42:02
in reply to

Greg Restall on Nostr: The earliest I have so far is Girard’s 1989 “Towards a Geometry of Interaction” ...

The earliest I have so far is Girard’s 1989 “Towards a Geometry of Interaction” (page 80), which dates from a presentation at a 1987 conference. I’ll go with this as a citation for the earliest occurrence of the name, unless anyone digs up something ealier.

https://jb55.com/linear/pdf/Towards%20a%20geometry%20of%20interaction.pdf
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7