نتائج البحث

Semi-Substructural Logics with Additives ...

• Authors : Veltri, Niccolò; Wan, Cheng-Syuan

Subjects: Logic in Computer Science cs.LO; FOS Computer and information sciences

تفاصيل العنوان

Constructive Final Semantics of Finite Bags ...

• Authors : Joram, Philipp; Veltri, Niccolò

Subjects: finite bags; final coalgebra; homotopy type theory

تفاصيل العنوان

Bicategories in univalent foundations

• Authors : Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco

Subjects: Bicategory theory; Coq; dependent type theory

• Source: Ahrens , B , Frumin , D , Maggesi , M , Veltri , N & Van Der Weide , N 2022 , ' Bicategories in univalent foundations ' , Mathematical structures in computer science ,

تفاصيل العنوان

Proof Theory of Skew Non-Commutative MILL

• Authors : Uustalu, Tarmo; Veltri, Niccolò; Wan, Cheng-Syuan

Subjects: Computer Science - Logic in Computer Science

تفاصيل العنوان

Normalization by Evaluation for the Lambek Calculus

• Authors : Veltri, Niccolò

Subjects: Computer Science - Logic in Computer Science

تفاصيل العنوان

Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor ...

• Authors : Veltri, Niccolò

Subjects: type theory; finite powerset; final coalgebra

تفاصيل العنوان

Inductive and Coinductive Predicate Liftings for Effectful Programs

• Authors : Veltri, Niccolò; Voorneveld, Niels F. W.

Subjects: Computer Science - Logic in Computer Science

تفاصيل العنوان

Deductive Systems and Coherence for Skew Prounital Closed Categories

• Authors : Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam

Subjects: Computer Science - Logic in Computer Science; Mathematics - Category Theory

تفاصيل العنوان

Proof Theory of Partially Normal Skew Monoidal Categories

• Authors : Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam

Subjects: Computer Science - Logic in Computer Science; Mathematics - Category Theory

تفاصيل العنوان

Bicategories in univalent foundations

• Authors : Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco

Subjects: Computer Science Applications; Mathematics (miscellaneous)

• Source: Mathematical Structures in Computer Science ; volume 31, issue 10, page 1232-1269 ; ISSN 0960-1295 1469-8072

تفاصيل العنوان