# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 9th 2022
• (edited Jun 9th 2022)

looks like the reference was published in 2017:

before the reference. It’s exceedingly useful to connect references with such a minimum of semantic hyperlninking.

• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeJul 20th 2022

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeJul 20th 2022

Also added in his PhD thesis

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJul 20th 2022

I have added cross-link with initiality conjecture and pointer to the talk slides (pdf)

• CommentRowNumber6.
• CommentAuthorjonsterling
• CommentTimeJul 21st 2022

I have tweaked the discussion to indicate that Uemura has indeed given a solution to the general initiality conjecture for the class of type theories that can be formulated in terms of SOGATs.