Strath - PDFSEARCH.IO - Document Search Engine

Strath
Results: 1550

#	Item
81	arXiv:quant-phv1 15 DecA Categorical Quantum Logic Samson Abramsky Ross Duncan Add to Reading List Source URL: personal.strath.ac.uk Language: English - Date: 2013-10-18 09:36:19
82	17 May - PRR HOW ARE REFERENDUMS ON EUROPE DIFFERENT FROM ELECTIONS TO THE EUROPEAN PARLIAMENT? PROFESSOR RICHARD ROSE FBA Add to Reading List Source URL: www.cspp.strath.ac.uk Language: English - Date: 2018-05-22 07:21:54
83	First published by the ESRC’s UK in a Changing Europe programme 24 March 2016 ‘Trust me’ is not a winning appeal for referendum votes Add to Reading List Source URL: www.cspp.strath.ac.uk Language: English - Date: 2017-08-01 08:59:12
84	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2015-07-09 09:31:03
85	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and Substitution Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2015-07-09 09:26:19
86	ZU064-05-FPR Ornament 9 August 2010 Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2010-12-21 23:34:49
87	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Applicative programming with effects Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2015-07-09 09:29:04
88	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Why walk when you can take the tube? Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2009-04-08 05:14:16
89	Clowns to the Left of me, Jokers to the Right (Pearl) Dissecting Data Structures Conor McBride University of Nottingham Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2010-10-04 07:01:38

UPDATE