Search Results - "Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on"

Search: '"Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on"'

Search alternatives:
"Logic in Computer Science LICS , 2013 28th Annual IEEE/ACM Symposium on" » "Logic in Computer Science LICS , 2013 13th Annual IEEE/ACM Symposium on"

Conference Paper/Proceeding/Abstract

Fibred Data Types / Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg

Swansea University Author: Anton Setzer
Published in Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on (2013)

In collection: Faculty of Science and Engineering

Download now