Deriving Proof Rules from Continuation S
β
Philippe Audebaud; Elena Zucca
π
Article
π
1999
π
Springer
π
English
β 193 KB