Daniel O. Martínez-Rivillas

According to our database, Daniel O. Martínez-Rivillas authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Towards a homotopy domain theory.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

Arch. Math. Log., May, 2023

2022

∞-Groupoid Generated by an Arbitrary Topological λ-Model.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2022

2021

The Theory of an Arbitrary Higher λ-Model.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2021

Solving Homotopy Domain Equations.

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2021

2020

Towards a Homotopy Domain Theory (HoDT).

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2020

2019

An extensional λ-model with ∞-grupoid structure.

Daniel Martinez Rivillas, Ruy J. G. B. de Queiroz

CoRR, 2019