Logical Frameworks and Meta-Languages
Logical Frameworks and Meta-Languages
Sam Staton
Details
OL Work ID
OL36078543W
Find this book
Open Library