PAF!

MaRDI QIDQ21950swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-24849-1_4

Cited in

(2)

• Types for Proofs and Programs
• Specifying imperative ML-like programs using dynamic logic

This page was built for software: PAF!