I just created a Wikipedia page "Semantics of type theory". At the moment, it is a stub, containing only the definition of a CwF. I plan to expand it, but by all means do beat me to it.
https://en.wikipedia.org/wiki/Semantics_of_type_theory
Jean Abou Samra (new account)
npub14p…htzwd
2025-11-21 16:58:03 UTC
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdPublished at
2025-11-21 16:58:03 UTCEvent JSON
{
"id": "0955a57aeaaa38cd43a8c3560b8e494f9e896736f0f566e87530c982dce943d4",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1763744283,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115588745364147142",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "I just created a Wikipedia page \"Semantics of type theory\". At the moment, it is a stub, containing only the definition of a CwF. I plan to expand it, but by all means do beat me to it.\n\nhttps://en.wikipedia.org/wiki/Semantics_of_type_theory",
"sig": "8fb5b9226ea7b19c1495ef05a2353c320d12126eddc5a75b0b710c0f5870d77ae1586b930ea4368e832e70f116cd0b2338b2f1a1b01b9ed501706ad50a07413b"
}