Amanote Research
Register
Sign In
Classical Realizability as a Classifier for Nondeterminism
doi 10.1145/3209108.3209140
Full Text
Open PDF
Abstract
Available in
full text
Date
July 9, 2018
Authors
Guillaume Geoffroy
Publisher
ACM
Related search
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
