Daniel O. Martínez-Rivillas

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Knowledge Based Neural Networks

Polynomial Equations

Top Venues

Arch. Math. Log.

Publications

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Towards a homotopy domain theory. Arch. Math. Log. 62 (3) (2023)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
∞-Groupoid Generated by an Arbitrary Topological λ-Model. Log. J. IGPL 30 (3) (2022)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Solving Homotopy Domain Equations. CoRR (2021)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
The Theory of an Arbitrary Higher λ-Model. CoRR (2021)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Towards a Homotopy Domain Theory (HoDT). CoRR (2020)