Peter Dybjer

• Category theory and computer science
• Semantics And Logics Of Computation
• Semantics and logics of computation
• Applied Semantics
• Category theory and programming language semantics
• Types for Proofs and Programs