• Simple Dependent Types: Concord
  By Paul Jolly, Sophia Drossopoulou, Christopher Anderson and Klaus Ostermann.
  Last revised 2004/04/04

Author: Paul A Jolly [p@ul@myitcv.org.uk] (replace '@' in the obvious way) [GPG Public Key] (contact details)
Last modified: 2004/04/04 22:23