Cover Image

Saved in:
Bibliographic Details
Main Authors: Nunes, Fernando Lucatelli, Plotkin, Gordon, Vákár, Matthijs
Format: Preprint
Published: 2025
Subjects:
Programming Languages
Artificial Intelligence
Machine Learning
Category Theory
Logic
18C10, 18C15, 18C20, 18D05, 03B70, 03F52, 68Q55, 68N18, 68T07
F.3.2; F.3.3; D.3.1; D.3.2; D.2.4; G.4; I.2.3; I.2.6; G.1.10
Online Access:https://arxiv.org/abs/2505.15002
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2505.15002

Similar Items