Learn More
ISBN 0 521 37181 3 iii Preface This little book comes from a short graduate course on typed λ-calculus given at the Université Paris VII in the autumn term of 1986–7. It is not intended to be encyclopedic — the Church-Rosser theorem, for instance, is not proved — and the selection of topics was really quite haphazard. Some very basic knowledge of logic is(More)
Observing hand postures interacts with the preparation of similar actions. This may be due to motor encoding of the observed displays and/or to enhanced visual processing induced by motor planning. We studied the effects of the observer's perspective on motor representation, using a visuomotor priming task with simple responses. Participants were asked to(More)
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these axioms based on partial equivalence relations have received much attention, but there are also very simple sheaf models based on classical domain theory. In any case the aim of this(More)
The Pew Hispanic Center is a nonpartisan research organization that seeks to improve public understanding of the diverse Hispanic population in the United States and to chronicle Latinos' growing impact on the nation. It does not take positions on policy issues. The Center is part of the Pew Research Center, a nonpartisan "fact tank" based in Washington,(More)
[54] Richard Statman. Number theoretic functions computable by polymorphic programs. [31] G erard Huet. A uniform approach to type theory. 1988. Unpublished notes. [32] G erard Huet and Bernard Lang. Proving and applying program transformations expressed with second-order patterns. [34] Daniel Leivant. Reasoning about functional programs and complexity(More)