Psi-calculi in Isabelle

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_9 ◽

2009 ◽

pp. 99-114 ◽

Author(s):

Jesper Bengtson ◽

Joachim Parrow

Download Full-text