Thomas Ehrhard

Antonio Bucciarelli and Thomas Ehrhard. Sequentiality in an extensional framework. Information and Computation, 110(2):265-296, 1 May 1994. Abstract, Citations, etc.
Thomas Ehrhard. A relative PCF-definability result for strongly stable functions and some corollaries. Accepted for publication in Information and Computation. Final manuscript received for publication November 30, 1998. References.