1. A light-weight integration of automated and interactive theorem proving. (12th November 2014) Authors: KANSO, KARIM; SETZER, ANTON Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 129 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Containers, monads and induction recursion. (20th November 2014) Authors: GHANI, NEIL; HANCOCK, PETER Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 89 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Modules over relative monads for syntax and semantics. (5th December 2014) Authors: AHRENS, BENEDIKT Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Partiality and recursion in interactive theorem provers – an overview. (10th November 2014) Authors: BOVE, ANA; KRAUSS, ALEXANDER; SOZEAU, MATTHIEU Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Selected papers from Dependently Typed Programming 2010 – Overview. (27th November 2014) Authors: ALTENKIRCH, THORSTEN; MCBRIDE, CONOR Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Vulnerability modelling with functional programming and dependent types. (15th December 2014) Authors: IONESCU, CEZAR Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗