Merkliste 
 1 Ergebnisse 
 
1

Computability Models over Categories and Presheaves:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Petrakis, Iosif - p. 253-265 , 2021