Greg Restall on Nostr: The earliest I have so far is Girard’s 1989 “Towards a Geometry of Interaction” ...
Published at
2024-08-19 12:42:02Event JSON
{
"id": "a75095ef9e81ed14d3496bb916ea74fb80d62047b8b91b386f3b5487fc045a30",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1724071322,
"kind": 1,
"tags": [
[
"e",
"ca0f2ec9c0e9157f97d7a1dc31ec3dfe86553b612d75a78afd7a6cbf69d43998",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112988738223070017",
"activitypub"
]
],
"content": "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.\n\nhttps://jb55.com/linear/pdf/Towards%20a%20geometry%20of%20interaction.pdf",
"sig": "1310cc7a91d39aa13c7fa270a793d17771861fe55701f992fcce4cfb16f4833d321d879e8411bf34f5d6c042ce18240b32dc7c0afcfa64daff098b4bced63073"
}