Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Petrakis, Iosif
5  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Strict computability models over categories and presheaves:

Petrakis, Iosif
Journal of Logic and Computation.  32 (2022)  8 - p. 1815-1838 , 2022
Link: https://doi.org/10.1093/..
 
?
2

Closed subsets in Bishop topological groups:

Petrakis, Iosif
Theoretical Computer Science.  935 (2022)  - p. 128-143 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Proof-relevance in Bishop-style constructive mathematics:

Petrakis, Iosif
Mathematical Structures in Computer Science.  32 (2022)  1 - p. 1-43 , 2022
Link: https://doi.org/10.1017/..
 
?
4

Embeddings of Bishop spaces:

Petrakis, Iosif
Journal of Logic and Computation.  30 (2020)  1 - p. 349-379 , 2020
Link: https://doi.org/10.1093/..
 
?
5

Limit spaces with approximations:

Petrakis, Iosif
Annals of Pure and Applied Logic.  167 (2016)  9 - p. 737-752 , 2016
Link: https://doi.org/10.1016/..
 
1-5