Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrey Mokhov
Selective Applicative Functors
Proceedings of the ACM on Programming Languages
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Formal Design and Verification of an Asynchronous SRAM Controller
Algebraic Graphs With Class (Functional Pearl)
Related publications
Applicative Abstract Categorial Grammar
Non-Additive Functors, Their Derived Functors, and the Suspension Homomorphism
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Applicative Structure and Mandarin Ditransitives
Argument Structure and Syntactic Relations
Construction of Isology Functors
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Separable Functors in Corings
International Journal of Mathematics and Mathematical Sciences
Mathematics
Model Checking RAISE Applicative Specifications
Correction To: Fun With Functors
Applicative Bisimulations for Delimited-Control Operators
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Unstable Modules Over the Dickson Algebras, the Singer Functors Rsand the Functors Fixs
Algebraic and Geometric Topology
Geometry
Topology
