1. A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. (27th February 2017) Authors: BOTTONI, PAOLO; GORLA, DANIELE; KASANGIAN, STEFANO; LABELLA, ANNA Journal: Mathematical structures in computer science Issue: Volume 28:Number 4(2018) Page Start: 508 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Coinductive predicates and final sequences in a fibration. (18th April 2017) Authors: HASUO, ICHIRO; KATAOKA, TOSHIKI; CHO, KENTA Journal: Mathematical structures in computer science Issue: Volume 28:Number 4(2018) Page Start: 562 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Mackey-complete spaces and power series – a topological model of differential linear logic. (21st October 2016) Authors: KERJEAN, MARIE; TASSON, CHRISTINE Journal: Mathematical structures in computer science Issue: Volume 28:Number 4(2018) Page Start: 472 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Yoneda completeness. (28th February 2017) Authors: BICE, TRISTAN Journal: Mathematical structures in computer science Issue: Volume 28:Number 4(2018) Page Start: 548 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Θ-continuity and Dθ-completion of posets. (27th February 2017) Authors: ZHANG, ZHONGXI; LI, QINGGUO; JIA, XIAODONG Journal: Mathematical structures in computer science Issue: Volume 28:Number 4(2018) Page Start: 533 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗