Titlebook: Generic Programming; Advanced Lectures Roland Backhouse,Jeremy Gibbons Textbook 2003 Springer-Verlag Berlin Heidelberg 2003 allegory theory

滴注

Chapter 4. Basic Category Theory for Models of Syntax,s. In particular, we assume readers know the basics of .-calculus..A pedagogical feature of these notes is that we only introduce the category theory required to present models of syntax, which are illustrated by example rather than through a general theory of syntax.

abolish

哎呦

Ganglion

其他

cluster

Bridle

Accede

搖曳

978-3-540-20194-6Springer-Verlag Berlin Heidelberg 2003

cardiopulmonary

Generic Programming978-3-540-45191-4Series ISSN 0302-9743 Series E-ISSN 1611-3349