The completeness of functional logic
β
Peter Nickolas
π
Article
π
1994
π
Springer
π
English
β 834 KB