Implicative models of set theory
Maschio, Samuele, Miquel, Alexandre
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Get full text
Journal Article
Specifying Peirce's law in classical realizability
GUILLERMO, MAURICIO, MIQUEL, ALEXANDRE
Published in Mathematical structures in computer science (01.10.2016)
Published in Mathematical structures in computer science (01.10.2016)
Get full text
Journal Article
Realizability in the Unitary Sphere
Diaz-Caro, Alejandro, Guillermo, Mauricio, Miquel, Alexandre, Valiron, Benoit
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Ordered combinatory algebras and realizability
SANTOS, WALTER FERRER, FREY, JONAS, GUILLERMO, MAURICIO, MALHERBE, OCTAVIO, MIQUEL, ALEXANDRE
Published in Mathematical structures in computer science (01.03.2017)
Published in Mathematical structures in computer science (01.03.2017)
Get full text
Journal Article
Implicative algebras: a new foundation for realizability and forcing
Get full text
Paper
Journal Article