Coinductive predicates and final sequences in a fibration
Sign Up to like & getrecommendations! Published in 2017 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129517000056
Abstract: Coinductive predicates express persisting ‘safety’ specifications of transition systems. Previous observations by Hermida and Jacobs identify coinductive predicates as suitable final coalgebras in a fibration – a categorical abstraction of predicate logic. In this paper,… read more here.
Keywords: final sequences; coinductive predicates; sequences fibration; predicates final ... See more keywords
A topological reading of coinductive predicates in dependent type theory
Sign Up to like & getrecommendations! Published in 2025 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129525100182
Abstract: Abstract In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, introduced by G. Sambin to represent closed subsets in point-free… read more here.
Keywords: coinductive predicates; type; dependent type; topological reading ... See more keywords