| Document Date: 2011-04-28 10:51:23
Open Document File Size: 351,27 KBShare Result on Facebook
Facility University Abstract / University of Nottingham Department / / IndustryTerm carrier set / carrier family / / Organization Swansea University / School of Computer Science / Nottingham Department of Computer Science / / Person Gq / Fredrik Nordvall / Ai / / Position assistant / pm / / ProvinceOrState Swansea / /
SocialTag |
A categorical semantics for inductive-inductive definitions Thorsten Altenkirch1 ✍ , ✍✍ , Fredrik Nordvall Forsberg2 ✍ , Peter Morris1 ✍✍ , and