Daniel O. Martínez-Rivillas

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

Collaborative distances:

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

2026

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model.

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

CoRR, April, 2026

2025

The K^∞ Homotopy ^λ-Model.

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

CoRR, May, 2025

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