From: "Axel Poigné" <axel.poigne@iais.fraunhofer.de>
To: "Michaël Grünewald" <michael.grunewald@laposte.net>
Cc: Pierre-Evariste Dagand <pedagand@gmail.com>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Categories for types
Date: Thu, 28 Feb 2008 09:57:16 +0100 [thread overview]
Message-ID: <5991B852-4FBF-482A-9CA5-06FC9652F6C9@iais.fraunhofer.de> (raw)
In-Reply-To: <1204143364.1724.6.camel@Llea.celt.neu>
Hello
Well, maybe one should not advertise oneself but a long time ago I
wrote a chapter on "Basic Category Theory" in the Handbook of Logic in
Computer Science" (Eds. S. Abramsky, D.Gabbay, T.S.E. Maibaum). Basic
notions of category theory (and somewhat more) are introduced from the
viewpoint of functional programming (and other applications in
computer science).
Maybe a bit outdated if you consider developments in linear logic,
coalbras, and applications of categories in particular in physics (http://categorieslogicphysics.wikidot.com/video
), but the chapter still may help to understand some of the basic
concepts from a programmers point of view (for adjunctions some
familiarity with automata theory is assumed, though - in former times
standard knowledge in CS).
Regards
Axel
PS. Mildly ignore the mistakes.
prev parent reply other threads:[~2008-02-28 8:58 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-27 9:08 Michaël Grünewald
2008-02-27 13:38 ` [Caml-list] " Gabriel Kerneis
2008-02-27 20:08 ` Michaël Grünewald
2008-02-27 14:19 ` Pierre-Evariste Dagand
2008-02-27 20:16 ` Michaël Grünewald
2008-02-28 8:57 ` Axel Poigné [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5991B852-4FBF-482A-9CA5-06FC9652F6C9@iais.fraunhofer.de \
--to=axel.poigne@iais.fraunhofer.de \
--cc=caml-list@yquem.inria.fr \
--cc=michael.grunewald@laposte.net \
--cc=pedagand@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).