Copertina

Comparing semantic frameworks for dependently-sorted algebraic theories

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Ahrens, Benedikt, Lumsdaine, Peter LeFanu, North, Paige Randall
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Category Theory
Programming Languages
Logic
18C50 Categorical semantics of formal languages (primary), 03G30 Categorical logic and topoi, 03B15 Higher-order logic and type theory
Accesso online:
Acceder al recurso
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Lascia un commento!
Entra

Documenti analoghi