Browse by Journal or other publication
2025
Schoen, Ezra and Master, Jade and Kupke, Clemens (2025) Relative fixed points of functors. Fundamenta Informaticae, 194 (2). 1. ISSN 0169-2968
2017
Horne, Ross and Mauw, Sjouke and Tiu, Alwen (2017) Semantics for specialising attack trees based on linear logic. Fundamenta Informaticae, 153 (1-2). pp. 57-86. ISSN 0169-2968
2010
Löh, Andres and Mcbride, Conor and Swierstra, Wouter (2010) A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae, 102 (2). pp. 177-207. ISSN 0169-2968

Up a level