Computability Models over Categories and Presheaves

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_16 ◽

2021 ◽

pp. 253-265

Author(s):

Iosif Petrakis

Download Full-text