Recursive equivalence types, (University of California publications in mathematics)
J. C. E. Dekker and J. Myhill present a focused mathematical study of recursive equivalence types. Published in the University of California Publications in Mathematics series, this specialized volume will interest readers exploring advanced topics in mathematical logic and theoretical computer science.
About This Book
Recursive equivalence types is a specialized scholarly work by J. C. E. Dekker and J. Myhill.
The book focuses on recursive equivalence types, a subject situated at the intersection of mathematical logic and theoretical computer science.
It belongs to the University of California Publications in Mathematics series.
Designed for readers interested in advanced mathematical and logical research, this volume presents a focused treatment of its named topic.
Reviews
No reviews yet. Be the first to review this book!