[Lecture Notes in Computer Science] From Object-Orientation to Formal Methods Volume 2635 || Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

✍ Scribed by Owe, Olaf; Krogdahl, Stein; Lyche, Tom

• Book ID: 118044322
• Publisher: Springer Berlin Heidelberg
• Year: 2004
• Weight: 405 KB
• Category: Article
• ISBN: 3540399933
• DOI: 10.1007/978-3-540-39993-3_16