Skip to content
Universidad del Mar SIBUMAR Descubridor Institucional UMAR
  • Inicio
  • Búsqueda avanzada
  • Explorar
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • Pure Data Spaces
Cover Image

Pure Data Spaces

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Youssef, Saul
Format: Preprint
Published: 2025
Subjects:
Distributed, Parallel, and Cluster Computing
Logic
03F50, 03B70, 68Q42, 16Y60, 20M35
F.1.1; F.4.1; F.4.2; G.2.1; G.2.2
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
  • Holdings
  • Description
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2508.14271

Similar Items

  • Gödel Mirror: A Formal System For Contradiction-Driven Recursion
    by: Chan, Jhet
    Published: (2025)
  • A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
    by: Ramos, Arthur, et al.
    Published: (2025)
  • A correspondence between the time and space complexity
    by: Latkin, Ivan V.
    Published: (2023)
  • On the Realizability of Prime Conjectures in Heyting Arithmetic
    by: Rosko, Milan
    Published: (2025)
  • The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
    by: Rahnama, Moses
    Published: (2025)
Universidad del Mar
Universidad del MarSistema Bibliotecario de la Universidad del MarDescubridor Institucional UMARImplementación y desarrollo: Mtro. Carlos Alonso Albores Pérez
InicioBúsqueda avanzadaExplorar
Visitas al Descubridor: 50,053© 2026 Universidad del Mar