Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Petrakis, Iosif
33  Ergebnisse:
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

Algebras of Complemented Subsets:

, In: Revolutions and Revelations in Computability; Lecture Notes in Computer Science,
Petrakis, Iosif ; Wessel, Daniel - p. 246-258 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Computability Models over Categories and Presheaves:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Petrakis, Iosif - p. 253-265 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Embeddings of Bishop spaces:

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

Functions of Baire Class One over a Bishop Topology:

, In: Lecture Notes in Computer Science; Beyond the Horizon of Computability,
Petrakis, Iosif - p. 215-227 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Borel and Baire Sets in Bishop Spaces:

, In: Computing with Foresight and Industry; Lecture Notes in Computer Science,
Petrakis, Iosif - p. 240-252 , 2019
Link: https://doi.org/10.1007/..
 
?
9

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/..
 
?
10

A constructive function-theoretic approach to topological c..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
Petrakis, Iosif - p. 605-614 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Constructive topology of bishop spaces:

Petrakis, Iosif , 2015
Link: http://nbn-resolving.de/..
 
?
12

Categories with dependent arrows:

Petrakis, Iosif
http://arxiv.org/abs/2303.14754.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Topologies of open complemented subsets:

Petrakis, Iosif
http://arxiv.org/abs/2312.17095.  , 2023
Link: http://arxiv.org/abs/231..
 
?
14

Constructive Combinatorics of Dickson's Lemma:

Petrakis, Iosif
http://arxiv.org/abs/2204.11298.  , 2022
Link: http://arxiv.org/abs/220..
 
?
15

Univalent typoids:

Petrakis, Iosif
http://arxiv.org/abs/2205.06651.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15