Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin)
Add to Reading List
Document Date: 2011-09-15 16:28:53
Open Document
File Size: 556,69 KB
Share Result on Facebook
Organization
Technische Universität Berlin /
3rd International Summer School on Advanced Functional Programming /
Universität Bayreuth CALCO-Jnr /
/
Person
Jorge Augustín Nicolás /
/
Technology
functional programming /
/
SocialTag
Programming idioms
Theoretical computer science
Category theory
Computability theory
F-coalgebra
Recursion
Pointer
C
Computer programming
Computing