André Joyal

From Wikipedia, the free encyclopedia

You have new messages (last change).

André Joyal is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He invented Kripke-Joyal semantics and the theory of combinatorial species.

[edit] External links

This article about a mathematician is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../a/n/d/Andr%C3%A9_Joyal_068a.html"