No Cover Image

Conference contribution 370 views 84 downloads

A Categorical Semantics for Inductive-Inductive Definitions / Thorsten Altenkirch; Peter Morris; Fredrik Nordvall Forsberg; Anton Setzer

Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings, Volume: 6859, Pages: 70 - 84

Swansea University Author: Setzer, Anton

Published in: Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ISSN: 0302-9743 1611-3349
Published: Heidelberg Springer 2011
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa7505
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 70
End Page: 84