Some of my publications

• Books and PhD thesis
• Papers:
  • Type theory
  • Coercive subtyping
  • Linguistic semantics
  • Proof development and proof assistants
  • Program specification and transformation
• DBLP (CS papers only)