Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guillaume Geoffroy
Classical Realizability as a Classifier for Nondeterminism
Related publications
Hybrid Realizability for Intuitionistic and Classical Choice
Modified Realizability Interpretation of Classical Linear Logic
Iterated Realizability as a Comma Construction
Mathematical Proceedings of the Cambridge Philosophical Society
Mathematics
Cortical Surface Thickness as a Classifier: Boosting for Autism Classification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Representable Approach to Finite Nondeterminism
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On the Succinctness of Nondeterminism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hacking Nondeterminism With Induction and Coinduction
Communications of the ACM
Computer Science
6-Sulfo LacNAc (Slan) as a Marker for Non-Classical Monocytes
Frontiers in Immunology
Allergy
Immunology
Humanistic, and Particularly Classical, Studies, as a Preparation for the Law
Michigan Law Review
Law
