Back to Results
First PageMeta Content
Category theory / Functional programming / Data types / Type theory / Coalgebra / Recursion / Initial algebra / F-coalgebra / List / Software engineering / Declarative programming / Computer programming


martinLoefRetirementVolumeMain.dvi
Add to Reading List

Document Date: 2011-06-09 14:56:40

Open Document

File Size: 134,39 KB

Share Result on Facebook

Country

United Kingdom / /

/

Facility

Swansea University / /

IndustryTerm

binary product / finite products / empty product / computing / /

Organization

Swansea University / /

Person

Anton Setzer / Peter Hancock / Fredrik Nordvall Forsberg / Ai / /

Position

author / given head / /

ProvinceOrState

Swansea / /

Technology

functional programming / /

SocialTag