Realizability Models for Large Cardinals
Laura Fontanella, Guillaume Geoffroy, Richard Matthews
0 citationsDROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Guillaume Geoffroy
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
11Publications signalées
25Citations signalées
2Affiliations récentes
Institutions déclarées
Domaines associés
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in VerificationSemantic Web and OntologiesEEG and Brain-Computer Interfaces
Publications récentes
Integration in Cones
Thomas Ehrhard, Guillaume Geoffroy
0 citationsarXiv (Cornell University)
A first-order completeness result about characteristic Boolean algebras in classical realizability
0 citations
Drowsiness Detection Using Joint EEG-ECG Data With Deep Learning
Guillaume Geoffroy, Lotfi Chaâri, Jean‐Yves Tourneret, Herwig Wendt
18 citations2021 29th European Signal Processing Conference (EUSIPCO)
Drowsiness Detection Using Joint EEG-ECG Data With Deep Learning
Guillaume Geoffroy, Lotfi Chaâri, Jean‐Yves Tourneret, Herwig Wendt
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
1 citationarXiv (Cornell University)
A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations
Guillaume Geoffroy, Paolo Pistone
3 citationsHAL Portal Artxiker (Hindustan Aeronautics Limited (India))
Preserving cardinals and weak forms of Zorn’s lemma in realizability models
Laura Fontanella, Guillaume Geoffroy
1 citationMathematical Structures in Computer Science
Réalisabilité classique : nouveaux outils et applications
1 citation
Pi Day: An International Festival of Mathematics
Elena Berardini, Joel I. Cohen, Guillaume Geoffroy, Annamaria Iezzi
1 citationEMS Newsletter
OCTOPLUS: A New Generation of FPSO for Deepwater
Guillaume Geoffroy, Franc ̧ois Pe ́trie ́, Michel Vaché, Karl Mitchell et autres
0 citations
BNTIC News n’est pas le producteur de ces données. Métadonnées interrogées à la demande auprès de OpenAlex (CC0). Sources et limites.