| Document Date: 2011-06-01 15:11:44
Open Document File Size: 334,31 KBShare Result on Facebook
Country United Kingdom / / Facility Swansea University / University of Nottingham / / IndustryTerm carrier set / carrier family / / Organization Swansea University / School of Computer Science / UK Department of Computer Science / University of Nottingham / / Person Gq / Fredrik Nordvall / Ai / / Position assistant / pm / / ProvinceOrState Swansea / /
SocialTag |
A Categorical Semantics for Inductive-Inductive Definitions Thorsten Altenkirch1 ✍ , ✍✍ , Peter Morris1 ✍✍ , Fredrik Nordvall Forsberg2 ✍ , and