Daniel O. Martínez-Rivillas

Orcid: 0000-0001-7480-1327

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

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

2025
The K<sup>∞</sup> Homotopy <sup>λ</sup>-Model.
CoRR, May, 2025

2023
Towards a homotopy domain theory.
Arch. Math. Log., May, 2023

2022
∞-Groupoid Generated by an Arbitrary Topological λ-Model.
Log. J. IGPL, 2022

2021
The Theory of an Arbitrary Higher λ-Model.
CoRR, 2021

Solving Homotopy Domain Equations.
CoRR, 2021

2020
Towards a Homotopy Domain Theory (HoDT).
CoRR, 2020

2019
An extensional λ-model with ∞-grupoid structure.
CoRR, 2019


  Loading...