No Cover Image

Conference Paper/Proceeding/Abstract 367 views 46 downloads

Fibred Data Types / Anton, Setzer

Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on, Pages: 243 - 252

Swansea University Author: Anton, Setzer

DOI (Published version): 10.1109/LICS.2013.30

Published in: Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Published: New Orleans IEEE 2013
URI: https://cronfa.swan.ac.uk/Record/cronfa14488
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: data structures;indexing;set theory;axiomatic model;cardinals;categorical reformulation;data structures;fibred data types;indexing;induction recursion;inductive recursive definition;set theory;Algebra;Computer languages;Containers;Decoding;Indexing;Semantics;data types;fibrations;initial algebras
College: College of Science
Start Page: 243
End Page: 252