Browsing Bulletin of the Section of Logic by Subject "hybrid type theory"
Now showing items 1-1 of 1
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a ...