Report copyright - Observational Equality, Now! · 2016-11-14 · Observational Equality, Now! Thorsten Altenkirch Conor McBride Wouter Swierstra University of Nottingham, UK {txa,ctm,wss}@cs.nott.ac.uk
Please pass captcha verification before submit form