Some of my publications

• Books, Edited books and PhD thesis
• Papers:
  • Type theory
  • Coercive subtyping
  • Linguistic semantics
  • Proof development and proof assistants
  • Program specification and transformation
• Lecture notes