Calculemus Igitur Lambert Meertens Kestrel Institute & Utrecht University (1)

Source URL: www.kestrel.edu

• Surname
• Patronymic surnames
• Genealogy
• Lambert Meertens
• Meertens
• Lambert
• Algebraic structure
• Scientific law

Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

Source URL: www.kestrel.edu

• Lambda calculus
• Theoretical computer science
• Mathematical logic
• Declarative programming
• Adjoint functors
• Anonymous function
• Type theory
• Lambda lifting

XVII UNIVERSEUM NETWORK MEETING University of Amsterdam and Utrecht University, The Netherlands, 9-11 June 2016 Connecting Collections Call for Papers The European Academic Heritage Network UNIVERSEUM announces its 17th

Source URL: universeum.it

Agner Fog, Technical University of Denmark Optimizing software performance using vector instructions Invited talk at Speed-B conference, October 19–21, 2016, Utrecht, The Netherlands. Abstract

Source URL: 2012.pairing-conference.org

Generalising argument dialogue with the Dialogue Game Execution Platform Floris BEX a , John LAWRENCE b , Chris REED b a Information and Computing Sciences, Utrecht University, The Netherlands b

Source URL: www.arg.dundee.ac.uk

Humanities: Science or Art Criticism? Humanities as Part of the Problem or the Solution. Rob van Gerwen, Ph.D. Philosophy, Ethics Insitute University Utrecht

Source URL: www.phil.uu.nl

A null theory of long-distance reciprocity in English A null theory of long-distance reciprocity in English Jakub Dotlaˇcil and Øystein Nilsen Utrecht University and Queen Mary, University of London

Source URL: jakubdotlacil.com

Exploring the Treaty Modifying Effect of Subsequent Practice and New Custom: The Implications of State Practice Going Beyond the Limits of Treaty Interpretation Irina Buga, Utrecht University ‘Today’s rule reflects i

Source URL: www.knvir.org

Understanding narratives with argumentation a Floris BEX a , Trevor BENCH-CAPON b Information and Computing Sciences, Utrecht University, The Netherlands

Source URL: comma2014.arg.dundee.ac.uk

Spinoza Institute, Center for Extreme Matter and Emergent Phenomena, Science Faculty, Utrecht University, Leuvenlaan 4, POBox, 3808TD, Utrecht New physics is needed to understand black holes or

Source URL: www.ccsem.infn.it