Cartesian closed stable categories
Information Sciences—Informatics and Computer Science: An International Journal
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
Maximality and totality of stable functions in the category of stable bifinite domains
Computers & Mathematics with Applications
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
A nice labelling for tree-like event structures of degree 3
Information and Computation
On the Largest Cartesian Closed Category of Stable Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |