Nirvana Meratnia University of Twente Email confirmado em utwente.
Category theory | Lambda the Ultimate
Artigos Citado por Coautores. University of Twente, Department of Computer Science , Mathematical Structures in Computer Science 6 1 , , International Conference on Concurrency Theory, , Department of Applied Mathematics, University of Twente , Artigos 1—20 Mostrar mais.
Ajuda Privacidade Termos. Law and order in algorithmics. MM Fokkinga Univ. Twente , A gentle introduction to category theorythe calculational approach MM Fokkinga of Part 1.
University of Utrecht , Tupling and mutumorphisms MM Fokkinga Squiggolist 1 4 , Catamorphisms and related concepts, categorical approach to functional programming, categorical programming. Many materials cited here refer to category theory, so as an introduction to this discipline see the See also section.
Category Theory: Lecture Notes and Online Books
Jump to: navigation , search. Categories : Theoretical foundations Mathematics.
Navigation menu Personal tools Log in. Namespaces Page Discussion. Views Read View source View history. Navigation Haskell Wiki community Recent changes Random page.