Conference Paper/Proceeding/Abstract 1507 views 405 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:
Anton Setzer
-
PDF | Accepted Manuscript
Download (365.64KB)
DOI (Published version): 10.1007/978-3-642-22944-2_6
Abstract
A Categorical Semantics for Inductive-Inductive Definitions
| 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 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
70 |
| End Page: |
84 |