Functor-category semantics of programming languages and logics
Functor-category semantics of programming languages and logics
R. D. Tennent
Details
OL Work ID
OL10671687W
Find this book
Open Library