No Cover Image

Conference Paper/Proceeding/Abstract 390 views 88 downloads

A Categorical Semantics for Inductive-Inductive Definitions / 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: Anton, Setzer

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