Simple Type Theory - William M. Farmer (Springer Nature Switzerland, 2025)
Keywords: Computer Science