A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vollmer, Victoria, Marshall, Danielle, Eades III, Harley, Orchard, Dominic
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2401.17199