Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Y. Radenac
Higher-Order Chemical Programming Style
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Higher-Order Type-Level Programming in Haskell
Proceedings of the ACM on Programming Languages
Mechanizing Programming Logics in Higher Order Logic
Scaling Database Languages to Higher-Order Distributed Programming
Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Higher-Order Containers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Uncertainty
Higher Order Operations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Higher-Order Logic
Higher Order Crossings
