c Cambridge University Press 2014 JFP: page 1 of 32. ⃝ 1 doi:S0956796813000282

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Logic in computer science
• Functional languages
• Procedural programming languages
• Proof assistants
• Theoretical computer science
• Standard ML
• ML
• Monad
• Lambda calculus

c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011.  467 doi:S0956796811000153 First published online 29 June 2011

Source URL: thev.net

• Mathematics
• Algebra
• Lambda calculus
• Category
• Function
• Monad
• Arrow
• Morphism
• Sheaf
• Combinatory logic
• Functor
• Commutative property

SERVICE AND SUPPLY CONTRACT FOR CAMBRIDGE UNIVERSITY PRESS JOURNALS ONLINE DATABASE A CAMBRIDGE UNIVERSITY PRESS JOURNALS ADATBÁZISHOZ VALÓ

Source URL: eisz.mtak.hu

Allen Hatcher Copyright c 2002 by Cambridge University Press Single paper or electronic copies for noncommercial use may be made freely without explicit permission from the author or publisher. All other rights reserved

Source URL: www.math.ru.nl

J. Fluid Mech), vol. 635, pp. 439–454. doi:S0022112009007770 c Cambridge University Press 2009 !

Source URL: tasp.technion.ac.il

What Matters to a Machine? More or less the same version that appears in Susan Anderson and Michael Anderson (edsMachine Ethics, Cambridge University Press, pp. 88–114 Drew McDermott Computer Science Department

Source URL: cs-www.cs.yale.edu

Ancient Mesoamerica, ), 273–281 Copyright © 2001 Cambridge University Press. Printed in the U.S.A. ANCIENT MAYA CAUSEWAYS AND SITE ORGANIZATION AT CARACOL, BELIZE

Source URL: caracol.org

J. Lat. Amer. Stud. 37, 437–467 f 2005 Cambridge University Press doi:S0022216X05009429 Printed in the United Kingdom 437 Globalisation and Economic Growth in

Source URL: insidemydesk.com

Assignments for October 11 I Read Chapters 13–14 in LaValle, S. M., Planning Algorithms, Cambridge University Press, Cambridge, UK, 2006. The chapters discuss topics in motion planning for systems with

Source URL: control.lth.se

c 2004 Cambridge University Press J. Fluid Mech), vol. 499, pp. 183–196.
DOI: S0022112003006852 Printed in the United Kingdom 183

Source URL: fccr.ucsd.edu