| Document Date: 2009-01-06 12:30:42 Open Document File Size: 481,74 KBShare Result on Facebook
Company MIT Press / Science Tripos Andrew M. Pitts University of Cambridge Computer Laboratory / / Facility Aarhus University / Computer Science Tripos Andrew M. Pitts University of Cambridge Computer Laboratory / Computer Laboratory Library / / IndustryTerm course web page / mathematical tools / Auxiliary tools / Transition systems / / Organization Cambridge University / Computer Science Tripos Andrew M. Pitts University of Cambridge Computer Laboratory / Aarhus University / MIT / / Person Ò . Andrew Pitts / R. Milner / / / Position author / interpreter for the programming language / interpreter / / TVStation Wand / / Technology functional programming / /
SocialTag |