Search

Your search keyword '"Myers, David Jaz"' showing total 5 results

Search Constraints

Start Over You searched for: Author "Myers, David Jaz" Remove constraint Author: "Myers, David Jaz" Publisher arxiv Remove constraint Publisher: arxiv
5 results on '"Myers, David Jaz"'

Search Results

1. Topological Quantum Gates in Homotopy Type Theory

2. A Yoneda-Style Embedding for Virtual Equipments

3. Dirichlet Functors are Contravariant Polynomial Functors

4. Behavioral Mereology (Proofs and Properties)

5. String Diagrams For Double Categories and Equipments

Catalog

Books, media, physical & digital resources