Some of my publications

• Books and PhD thesis
• Papers:
  • Type theory and logical framework
  • Coercive subtyping
  • Proof development and proof assistants
  • Linguistic semantics
  • Program specification and transformation