English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Presents the keyphrase highlighting as premium feature

Presents the summarisation as premium feature

Presents the pdf analysis as premium feature

Presents the zaia usage as premium feature

We prove that the quasi‐categories arising from models of Martin‐Löf type theory via simplicial localization are locally cartesian closed.